Bob is cold. Bob is quiet. Bob is young. Dave is cold. Dave is quiet. Dave is red. Dave is not rough. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. If someone is cold and rough then they are big. White people are big. If Dave is not quiet then Dave is rough. If Fiona is red and Fiona is cold then Fiona is rough. All quiet people are cold. Big, cold people are red.
Bob is not red.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule5))] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Dave is cold.[(triple4 OR ((triple5) -> rule5))] Dave is not rough.[(triple7)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((((triple8) -> rule2) triple4) -> rule6) OR ((((triple8) -> rule2) ((triple5) -> rule5)) -> rule6))] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is big.[(triple10 OR ((triple15) -> rule2) OR ((triple11 triple14) -> rule1) OR ((triple11 ((triple13 triple11) -> rule4)) -> rule1))] Fiona is cold.[(triple11)] Fiona is not quiet.[(triple12)] Fiona is red.[(triple13 OR ((triple10 triple11) -> rule6) OR ((((triple15) -> rule2) triple11) -> rule6) OR ((((triple11 triple14) -> rule1) triple11) -> rule6))] Fiona is rough.[(triple14 OR ((triple13 triple11) -> rule4) OR ((((triple10 triple11) -> rule6) triple11) -> rule4) OR ((((((triple15) -> rule2) triple11) -> rule6) triple11) -> rule4))] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Dave is big.[(((triple8) -> rule2))]