Bob is cold. Bob is round. Bob is smart. Charlie is cold. Dave is blue. Dave is quiet. Harry is big. If someone is big then they are blue. All round people are cold. Rough people are cold. Blue people are round. If Harry is round and Harry is rough then Harry is cold. Round people are big.
Charlie is blue.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule2))] Bob is round.[(triple2)] Bob is smart.[(triple3)] Charlie is cold.[(triple4)] Dave is blue.[(triple5)] Dave is quiet.[(triple6)] Harry is big.[(triple7)] @1: Bob is big.[(((triple2) -> rule6))] Dave is round.[(((triple5) -> rule4))] Harry is blue.[(((triple7) -> rule1))] @2: Bob is blue.[(((((triple2) -> rule6)) -> rule1))] Dave is big.[(((((triple5) -> rule4)) -> rule6))] Dave is cold.[(((((triple5) -> rule4)) -> rule2))] Harry is round.[(((((triple7) -> rule1)) -> rule4))] @3: Harry is cold.[(((((((triple7) -> rule1)) -> rule4)) -> rule2))]