Anne is nice. Anne is rough. Anne is round. Bob is blue. Bob is nice. Bob is quiet. Bob is round. Erin is blue. Erin is quiet. Erin is red. Erin is round. Harry is big. Harry is blue. Harry is nice. Harry is rough. Harry is round. All red, rough people are quiet. All rough people are red. If Bob is big and Bob is red then Bob is quiet. If someone is red then they are big. If someone is red and rough then they are round. All rough people are nice. Blue, quiet people are round. If Harry is red and Harry is nice then Harry is blue.
Anne is not rough.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule6))] Anne is rough.[(triple2)] Anne is round.[(triple3 OR ((((triple2) -> rule2) triple2) -> rule5))] Bob is blue.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7 OR ((triple4 triple6) -> rule7))] Erin is blue.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is round.[(triple11 OR ((triple8 triple9) -> rule7))] Harry is big.[(triple12 OR ((((triple15) -> rule2)) -> rule4))] Harry is blue.[(triple13 OR ((((triple15) -> rule2) triple14) -> rule8) OR ((((triple15) -> rule2) ((triple15) -> rule6)) -> rule8))] Harry is nice.[(triple14 OR ((triple15) -> rule6))] Harry is rough.[(triple15)] Harry is round.[(triple16 OR ((((triple15) -> rule2) triple15) -> rule5) OR ((triple13 ((((triple15) -> rule2) triple15) -> rule1)) -> rule7) OR ((((((triple15) -> rule2) triple14) -> rule8) ((((triple15) -> rule2) triple15) -> rule1)) -> rule7) OR ((((((triple15) -> rule2) ((triple15) -> rule6)) -> rule8) ((((triple15) -> rule2) triple15) -> rule1)) -> rule7))] @1: Anne is red.[(((triple2) -> rule2))] Erin is big.[(((triple10) -> rule4))] Harry is red.[(((triple15) -> rule2))] @2: Anne is big.[(((((triple2) -> rule2)) -> rule4))] Anne is quiet.[(((((triple2) -> rule2) triple2) -> rule1))] Harry is quiet.[(((((triple15) -> rule2) triple15) -> rule1))]