Bob is blue. Dave is big. Gary is not blue. Harry is round. If something is young and smart then it is rough. Nice things are rough. If something is big then it is nice. Big things are nice. If something is rough then it is smart. All rough things are young.
Harry is blue.
@0: Bob is blue.[(triple1)] Dave is big.[(triple2)] Gary is not blue.[(triple3)] Harry is round.[(triple4)] @1: Dave is nice.[(((triple2) -> rule3) OR ((triple2) -> rule4))] @2: Dave is rough.[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule4)) -> rule2))] @3: Dave is smart.[(((((((triple2) -> rule3)) -> rule2)) -> rule5) OR ((((((triple2) -> rule4)) -> rule2)) -> rule5))] Dave is young.[(((((((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((((triple2) -> rule4)) -> rule2)) -> rule6))]