Bob is red. Bob is rough. Dave is young. Cold, big things are blue. Rough things are cold. If Bob is blue and Bob is young then Bob is red. Furry, young things are red. Blue things are young. All cold things are blue.
Bob is big.
@0: Bob is red.[(triple1 OR ((((((triple2) -> rule2)) -> rule6) ((((((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule3))] Bob is rough.[(triple2)] Dave is young.[(triple3)] @1: Bob is cold.[(((triple2) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule6))] @3: Bob is young.[(((((((triple2) -> rule2)) -> rule6)) -> rule5))]