Bob is green. Bob is white. Fiona is nice. Fiona is white. Gary is green. Gary is young. Harry is blue. Harry is nice. Harry is white. Harry is young. If Harry is rough and Harry is green then Harry is young. If something is cold then it is young. If something is white then it is nice. If Bob is green and Bob is blue then Bob is white. If something is nice then it is rough. Nice, green things are cold.
Fiona is not green.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Fiona is nice.[(triple3 OR ((triple4) -> rule3))] Fiona is white.[(triple4)] Gary is green.[(triple5)] Gary is young.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple8 OR ((triple9) -> rule3))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Bob is nice.[(((triple2) -> rule3))] Fiona is rough.[(((triple3) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Harry is rough.[(((triple8) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] @2: Bob is cold.[(((((triple2) -> rule3) triple1) -> rule6))] Bob is rough.[(((((triple2) -> rule3)) -> rule5))] @3: Bob is young.[(((((((triple2) -> rule3) triple1) -> rule6)) -> rule2))]