Bob is big. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. Harry is big. Harry is blue. Harry is rough. Nice, red people are green. All red people are blue. All rough people are big. If Harry is nice then Harry is rough. All round, big people are green. Nice people are rough.
Bob is not nice.
@0: Bob is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Bob is blue.[(triple2 OR ((triple5) -> rule2))] Bob is green.[(triple3 OR ((triple4 triple5) -> rule1) OR ((triple7 triple1) -> rule5) OR ((triple7 ((triple6) -> rule3)) -> rule5) OR ((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6 OR ((triple4) -> rule6))] Bob is round.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule3))] Harry is blue.[(triple9)] Harry is rough.[(triple10)]