Bob is smart. Charlie is blue. Dave is round. Harry is smart. If Harry is round then Harry is blue. Round, blue people are young. If someone is big then they are cold. All young, big people are blue. Smart people are blue. If someone is smart then they are round. If someone is round and rough then they are cold. All blue, smart people are big.
Dave is young.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Dave is round.[(triple3)] Harry is smart.[(triple4)] @1: Bob is blue.[(((triple1) -> rule5))] Bob is round.[(((triple1) -> rule6))] Harry is blue.[(((triple4) -> rule5) OR ((((triple4) -> rule6)) -> rule1))] Harry is round.[(((triple4) -> rule6))] @2: Bob is big.[(((((triple1) -> rule5) triple1) -> rule8))] Bob is young.[(((((triple1) -> rule6) ((triple1) -> rule5)) -> rule2))] Harry is big.[(((((triple4) -> rule5) triple4) -> rule8) OR ((((((triple4) -> rule6)) -> rule1) triple4) -> rule8))] Harry is young.[(((((triple4) -> rule6) ((triple4) -> rule5)) -> rule2) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule2))] @3: Bob is cold.[(((((((triple1) -> rule5) triple1) -> rule8)) -> rule3))] Harry is cold.[(((((((triple4) -> rule5) triple4) -> rule8)) -> rule3) OR ((((((((triple4) -> rule6)) -> rule1) triple4) -> rule8)) -> rule3))]