Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Bob is big. Bob is not cold. Bob is nice. Bob is not red. Fiona is big. Fiona is not nice. Fiona is quiet. Fiona is not red. Fiona is not rough. All quiet, red things are rough. If something is quiet and blue then it is red. If something is blue and nice then it is red. If something is quiet then it is cold. If Bob is blue and Bob is big then Bob is cold. If Bob is nice and Bob is not big then Bob is rough.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3 OR ((triple5) -> rule4))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple2 triple4) -> rule3) OR ((triple5 triple2) -> rule2))] Anne is rough.[(triple7 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple2 triple4) -> rule3)) -> rule1) OR ((triple5 ((triple5 triple2) -> rule2)) -> rule1))] Bob is big.[(triple8)] Bob is nice.[(triple10)] Bob is not cold.[(triple9)] Bob is not red.[(triple11)] Fiona is big.[(triple12)] Fiona is not nice.[(triple13)] Fiona is not red.[(triple15)] Fiona is not rough.[(triple16)] Fiona is quiet.[(triple14)] @1: Fiona is cold.[(((triple14) -> rule4))]