Anne is big. Bob is round. Bob is smart. Bob is white. Gary is big. Gary is furry. Gary is red. Gary is rough. Gary is round. Harry is furry. All big, rough things are smart. Red, rough things are furry. Rough things are round. Smart things are white. Big things are smart. All white things are rough. If something is furry then it is round. Smart, round things are furry. Round things are red.
Bob is round.
@0: Anne is big.[(triple1)] Bob is round.[(triple2 OR ((((triple4) -> rule6)) -> rule3) OR ((((((triple3) -> rule4)) -> rule6)) -> rule3))] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule4))] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((triple7 triple8) -> rule2) OR ((((triple5) -> rule5) triple9) -> rule8) OR ((((triple9) -> rule9) triple8) -> rule2) OR ((((triple5 triple8) -> rule1) triple9) -> rule8) OR ((((triple5) -> rule5) ((triple8) -> rule3)) -> rule8) OR ((((triple5 triple8) -> rule1) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3)) -> rule9) triple8) -> rule2) OR ((triple7 ((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule2) OR ((((triple9) -> rule9) ((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule2) OR ((((((triple8) -> rule3)) -> rule9) ((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule5) ((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((triple5 triple8) -> rule1) ((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule9) triple8) -> rule2) OR ((((((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule9) ((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule2))] Gary is red.[(triple7 OR ((triple9) -> rule9) OR ((((triple6) -> rule7)) -> rule9) OR ((((triple8) -> rule3)) -> rule9) OR ((((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule9))] Gary is rough.[(triple8 OR ((((((triple5) -> rule5)) -> rule4)) -> rule6))] Gary is round.[(triple9 OR ((triple6) -> rule7) OR ((triple8) -> rule3) OR ((((triple7 triple8) -> rule2)) -> rule7) OR ((((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((triple7 ((((((triple5) -> rule5)) -> rule4)) -> rule6)) -> rule2)) -> rule7))] Harry is furry.[(triple10)] @1: Anne is smart.[(((triple1) -> rule5))] Bob is furry.[(((triple3 triple2) -> rule8) OR ((((triple2) -> rule9) ((triple4) -> rule6)) -> rule2) OR ((triple3 ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((triple2) -> rule9) ((((triple3) -> rule4)) -> rule6)) -> rule2) OR ((triple3 ((((((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule3)) -> rule9) ((triple4) -> rule6)) -> rule2) OR ((((((((triple4) -> rule6)) -> rule3)) -> rule9) ((((triple3) -> rule4)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule9) ((triple4) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule9) ((((triple3) -> rule4)) -> rule6)) -> rule2))] Bob is red.[(((triple2) -> rule9) OR ((((((triple4) -> rule6)) -> rule3)) -> rule9) OR ((((((((triple3) -> rule4)) -> rule6)) -> rule3)) -> rule9))] Bob is rough.[(((triple4) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Gary is smart.[(((triple5) -> rule5) OR ((triple5 triple8) -> rule1))] Harry is round.[(((triple10) -> rule7))] @2: Anne is white.[(((((triple1) -> rule5)) -> rule4))] Gary is white.[(((((triple5) -> rule5)) -> rule4) OR ((((triple5 triple8) -> rule1)) -> rule4))] Harry is red.[(((((triple10) -> rule7)) -> rule9))] @3: Anne is rough.[(((((((triple1) -> rule5)) -> rule4)) -> rule6))] @4: Anne is round.[(((((((((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule3))] @5: Anne is furry.[(((((triple1) -> rule5) ((((((((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule8) OR ((((((((((((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule9) ((((((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule2))] Anne is red.[(((((((((((triple1) -> rule5)) -> rule4)) -> rule6)) -> rule3)) -> rule9))]