Bob is big. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Gary is red. Gary is rough. Gary is round. Harry is nice. Harry is rough. Round things are big. If something is red and rough then it is big. All quiet things are red. All big, round things are quiet. If something is nice and round then it is quiet. All rough, quiet things are nice.
Harry is young.
@0: Bob is big.[(triple1 OR ((triple5) -> rule1) OR ((((triple3) -> rule3) triple4) -> rule2) OR ((((((triple2 triple5) -> rule5)) -> rule3) triple4) -> rule2))] Bob is nice.[(triple2 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1 triple5) -> rule4)) -> rule6) OR ((triple4 ((((triple5) -> rule1) triple5) -> rule4)) -> rule6))] Bob is quiet.[(triple3 OR ((triple1 triple5) -> rule4) OR ((triple2 triple5) -> rule5) OR ((((triple5) -> rule1) triple5) -> rule4))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Gary is red.[(triple6 OR ((((((triple8) -> rule1) triple8) -> rule4)) -> rule3))] Gary is rough.[(triple7)] Gary is round.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] @1: Bob is red.[(((triple3) -> rule3) OR ((((triple1 triple5) -> rule4)) -> rule3) OR ((((triple2 triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule1) triple5) -> rule4)) -> rule3))] Gary is big.[(((triple8) -> rule1) OR ((triple6 triple7) -> rule2))] @2: Gary is quiet.[(((((triple8) -> rule1) triple8) -> rule4) OR ((((triple6 triple7) -> rule2) triple8) -> rule4))] @3: Gary is nice.[(((triple7 ((((triple8) -> rule1) triple8) -> rule4)) -> rule6) OR ((triple7 ((((triple6 triple7) -> rule2) triple8) -> rule4)) -> rule6))]