Bob is round. Bob is young. Fiona is cold. Fiona is young. Harry is big. Harry is red. Harry is white. White people are cold. Round people are rough. If Harry is red then Harry is white. If Bob is red then Bob is white. If Bob is round and Bob is rough then Bob is white. All big, young people are rough.
Bob is not cold.
@0: Bob is round.[(triple1)] Bob is young.[(triple2)] Fiona is cold.[(triple3)] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7 OR ((triple6) -> rule3))] @1: Bob is rough.[(((triple1) -> rule2))] Harry is cold.[(((triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] @2: Bob is white.[(((triple1 ((triple1) -> rule2)) -> rule5))] @3: Bob is cold.[(((((triple1 ((triple1) -> rule2)) -> rule5)) -> rule1))]