Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Bob is big. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Harry is big. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. If Harry is big then Harry is quiet. Rough, blue things are nice. Big, rough things are blue. All blue things are red. Rough things are big. Quiet, big things are smart. Quiet things are big. If Bob is big then Bob is quiet.
Bob is smart.
@0: Anne is big.[(triple1 OR ((triple3) -> rule7) OR ((triple5) -> rule5))] Anne is nice.[(triple2 OR ((triple5 ((triple1 triple5) -> rule3)) -> rule2) OR ((triple5 ((((triple3) -> rule7) triple5) -> rule3)) -> rule2) OR ((triple5 ((((triple5) -> rule5) triple5) -> rule3)) -> rule2))] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((((triple1 triple5) -> rule3)) -> rule4) OR ((((((triple3) -> rule7) triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule3)) -> rule4))] Anne is rough.[(triple5)] Bob is big.[(triple6 OR ((triple8) -> rule7) OR ((triple9) -> rule5))] Bob is nice.[(triple7 OR ((triple9 ((triple6 triple9) -> rule3)) -> rule2) OR ((triple9 ((((triple8) -> rule7) triple9) -> rule3)) -> rule2) OR ((triple9 ((((triple9) -> rule5) triple9) -> rule3)) -> rule2))] Bob is quiet.[(triple8 OR ((triple6) -> rule8) OR ((((triple9) -> rule5)) -> rule8))] Bob is rough.[(triple9)] Bob is smart.[(triple10 OR ((triple8 triple6) -> rule6) OR ((triple8 ((triple8) -> rule7)) -> rule6) OR ((triple8 ((triple9) -> rule5)) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule6) OR ((((triple6) -> rule8) ((triple8) -> rule7)) -> rule6) OR ((((triple6) -> rule8) ((triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule8) triple6) -> rule6) OR ((((((triple9) -> rule5)) -> rule8) ((triple8) -> rule7)) -> rule6) OR ((((((triple9) -> rule5)) -> rule8) ((triple9) -> rule5)) -> rule6))] Harry is big.[(triple11 OR ((triple13) -> rule7) OR ((triple14) -> rule5))] Harry is nice.[(triple12 OR ((triple14 ((triple11 triple14) -> rule3)) -> rule2) OR ((triple14 ((((triple13) -> rule7) triple14) -> rule3)) -> rule2) OR ((triple14 ((((triple14) -> rule5) triple14) -> rule3)) -> rule2))] Harry is quiet.[(triple13 OR ((triple11) -> rule1) OR ((((triple14) -> rule5)) -> rule1))] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple13 triple11) -> rule6) OR ((triple13 ((triple13) -> rule7)) -> rule6) OR ((triple13 ((triple14) -> rule5)) -> rule6) OR ((((triple11) -> rule1) triple11) -> rule6) OR ((((triple11) -> rule1) ((triple13) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((triple14) -> rule5)) -> rule1) triple11) -> rule6) OR ((((((triple14) -> rule5)) -> rule1) ((triple13) -> rule7)) -> rule6) OR ((((((triple14) -> rule5)) -> rule1) ((triple14) -> rule5)) -> rule6))] @1: Anne is blue.[(((triple1 triple5) -> rule3) OR ((((triple3) -> rule7) triple5) -> rule3) OR ((((triple5) -> rule5) triple5) -> rule3))] Anne is smart.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule7)) -> rule6) OR ((triple3 ((triple5) -> rule5)) -> rule6))] Bob is blue.[(((triple6 triple9) -> rule3) OR ((((triple8) -> rule7) triple9) -> rule3) OR ((((triple9) -> rule5) triple9) -> rule3))] Harry is blue.[(((triple11 triple14) -> rule3) OR ((((triple13) -> rule7) triple14) -> rule3) OR ((((triple14) -> rule5) triple14) -> rule3))] @2: Bob is red.[(((((triple6 triple9) -> rule3)) -> rule4) OR ((((((triple8) -> rule7) triple9) -> rule3)) -> rule4) OR ((((((triple9) -> rule5) triple9) -> rule3)) -> rule4))] Harry is red.[(((((triple11 triple14) -> rule3)) -> rule4) OR ((((((triple13) -> rule7) triple14) -> rule3)) -> rule4) OR ((((((triple14) -> rule5) triple14) -> rule3)) -> rule4))]