Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is not young. Gary is big. Gary is green. Harry is not blue. Harry is green. Harry is not red. Harry is rough. Big, young things are not red. Young things are nice. If something is nice and not young then it is big. If something is red and not big then it is not blue. All young things are blue. All big, green things are blue. Blue things are green. If something is rough and nice then it is green.
Harry is young.
@0: Bob is big.[(triple1 OR ((triple3 triple6) -> rule3))] Bob is blue.[(triple2 OR ((triple1 ((triple5 triple3) -> rule8)) -> rule6) OR ((((triple3 triple6) -> rule3) ((triple5 triple3) -> rule8)) -> rule6))] Bob is nice.[(triple3)] Bob is not young.[(triple6)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Gary is big.[(triple7)] Gary is green.[(triple8)] Harry is green.[(triple10)] Harry is not blue.[(triple9)] Harry is not red.[(triple11)] Harry is rough.[(triple12)] @1: Bob is green.[(((triple2) -> rule7) OR ((triple5 triple3) -> rule8))] Gary is blue.[(((triple7 triple8) -> rule6))]