Bob is big. Bob is quiet. Bob is rough. All quiet, cold things are green. If something is rough then it is quiet. If Bob is cold and Bob is quiet then Bob is green. If something is rough and cold then it is quiet. All big things are nice. All nice, quiet things are cold.
Bob is big.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule2))] Bob is rough.[(triple3)] @1: Bob is nice.[(((triple1) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule5) triple2) -> rule6) OR ((((triple1) -> rule5) ((triple3) -> rule2)) -> rule6))] @3: Bob is green.[(((triple2 ((((triple1) -> rule5) triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule5) triple2) -> rule6) triple2) -> rule3) OR ((triple2 ((((triple1) -> rule5) ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((triple3) -> rule2) ((((triple1) -> rule5) triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule5) triple2) -> rule6) ((triple3) -> rule2)) -> rule3) OR ((((((triple1) -> rule5) ((triple3) -> rule2)) -> rule6) triple2) -> rule3) OR ((((triple3) -> rule2) ((((triple1) -> rule5) ((triple3) -> rule2)) -> rule6)) -> rule1) OR ((((((triple1) -> rule5) ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule3))]