Anne is nice. Anne is quiet. Anne is red. Anne is round. Bob is quiet. Bob is white. Erin is white. Harry is big. Harry is not nice. Harry is rough. Harry is not white. If someone is quiet and nice then they are round. All white people are round. Rough people are round. If someone is white and quiet then they are big. If someone is white then they are red. Round, quiet people are red. Red people are nice. All nice, white people are quiet. Nice, big people are rough.
Erin is not rough.
@0: Anne is nice.[(triple1 OR ((triple3) -> rule7) OR ((((triple4 triple2) -> rule6)) -> rule7))] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple4 triple2) -> rule6) OR ((((triple2 triple1) -> rule1) triple2) -> rule6))] Anne is round.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1))] Bob is quiet.[(triple5 OR ((((((triple6) -> rule5)) -> rule7) triple6) -> rule8))] Bob is white.[(triple6)] Erin is white.[(triple7)] Harry is big.[(triple8)] Harry is not nice.[(triple9)] Harry is not white.[(triple11)] Harry is rough.[(triple10)] @1: Bob is big.[(((triple6 triple5) -> rule4) OR ((triple6 ((((((triple6) -> rule5)) -> rule7) triple6) -> rule8)) -> rule4))] Bob is red.[(((triple6) -> rule5) OR ((((triple6) -> rule2) triple5) -> rule6))] Bob is round.[(((triple6) -> rule2) OR ((triple5 ((((triple6) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule7) ((triple6 triple5) -> rule4)) -> rule9)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule7) triple6) -> rule8) ((((triple6) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6) -> rule5)) -> rule7) ((triple6 ((((((triple6) -> rule5)) -> rule7) triple6) -> rule8)) -> rule4)) -> rule9)) -> rule3))] Erin is red.[(((triple7) -> rule5))] Erin is round.[(((triple7) -> rule2) OR ((((((((triple7) -> rule5)) -> rule7) triple7) -> rule8) ((((triple7) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule5)) -> rule7) ((triple7 ((((((triple7) -> rule5)) -> rule7) triple7) -> rule8)) -> rule4)) -> rule9)) -> rule3))] Harry is round.[(((triple10) -> rule3))] @2: Bob is nice.[(((((triple6) -> rule5)) -> rule7) OR ((((((triple6) -> rule2) triple5) -> rule6)) -> rule7))] Erin is nice.[(((((triple7) -> rule5)) -> rule7))] @3: Bob is rough.[(((((((triple6) -> rule5)) -> rule7) ((triple6 triple5) -> rule4)) -> rule9) OR ((((((((triple6) -> rule2) triple5) -> rule6)) -> rule7) ((triple6 triple5) -> rule4)) -> rule9) OR ((((((triple6) -> rule5)) -> rule7) ((triple6 ((((((triple6) -> rule5)) -> rule7) triple6) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple6) -> rule2) triple5) -> rule6)) -> rule7) ((triple6 ((((((triple6) -> rule5)) -> rule7) triple6) -> rule8)) -> rule4)) -> rule9))] Erin is quiet.[(((((((triple7) -> rule5)) -> rule7) triple7) -> rule8))] @4: Erin is big.[(((triple7 ((((((triple7) -> rule5)) -> rule7) triple7) -> rule8)) -> rule4))] @5: Erin is rough.[(((((((triple7) -> rule5)) -> rule7) ((triple7 ((((((triple7) -> rule5)) -> rule7) triple7) -> rule8)) -> rule4)) -> rule9))]