Bob is big. Bob is furry. Bob is nice. Bob is not red. Bob is rough. Bob is young. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is young. Harry is furry. Harry is nice. If Gary is young then Gary is blue. All furry things are big. All nice things are big. If something is blue and not nice then it is red. If Bob is not big and Bob is not nice then Bob is blue. If Bob is young and Bob is not big then Bob is not red.
Harry is young.
@0: Bob is big.[(triple1 OR ((triple2) -> rule2) OR ((triple3) -> rule3))] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is not red.[(triple4)] Bob is rough.[(triple5)] Bob is young.[(triple6)] Gary is big.[(triple7 OR ((triple10) -> rule3) OR ((triple9) -> rule2))] Gary is blue.[(triple8 OR ((triple13) -> rule1))] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is young.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] @1: Harry is big.[(((triple14) -> rule2) OR ((triple15) -> rule3))]