Charlie is nice. Dave is not blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Fiona is blue. Fiona is quiet. Fiona is red. All nice things are quiet. Nice things are big. If something is blue and not quiet then it is red. If Charlie is blue and Charlie is cold then Charlie is red. All rough things are cold. If something is red and not big then it is not cold. If something is big then it is rough. All red things are rough.
Charlie is blue.
@0: Charlie is nice.[(triple1)] Dave is cold.[(triple3 OR ((triple7) -> rule5) OR ((((triple6) -> rule8)) -> rule5) OR ((((((triple4) -> rule2)) -> rule7)) -> rule5))] Dave is nice.[(triple4)] Dave is not blue.[(triple2)] Dave is quiet.[(triple5 OR ((triple4) -> rule1))] Dave is red.[(triple6)] Dave is rough.[(triple7 OR ((triple6) -> rule8) OR ((((triple4) -> rule2)) -> rule7))] Fiona is blue.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] @1: Charlie is big.[(((triple1) -> rule2))] Charlie is quiet.[(((triple1) -> rule1))] Dave is big.[(((triple4) -> rule2))] Fiona is rough.[(((triple10) -> rule8))] @2: Charlie is rough.[(((((triple1) -> rule2)) -> rule7))] Fiona is cold.[(((((triple10) -> rule8)) -> rule5))] @3: Charlie is cold.[(((((((triple1) -> rule2)) -> rule7)) -> rule5))]