Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is white. Gary is green. Gary is nice. Gary is white. Harry is furry. Harry is quiet. Harry is white. All big, white people are quiet. If Erin is quiet then Erin is blue. All nice, blue people are quiet. If someone is quiet and green then they are big. If someone is quiet then they are green. All green people are furry. If Gary is quiet then Gary is blue. All blue people are nice.
Erin is nice.
@0: Erin is big.[(triple1 OR ((((triple5 triple2) -> rule3) triple4) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule3) triple4) -> rule4) OR ((((triple5 triple2) -> rule3) ((((triple5 triple2) -> rule3)) -> rule5)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule3) ((((triple5 triple2) -> rule3)) -> rule5)) -> rule4) OR ((((triple5 triple2) -> rule3) ((((((triple2) -> rule8) triple2) -> rule3)) -> rule5)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule3) ((((((triple2) -> rule8) triple2) -> rule3)) -> rule5)) -> rule4))] Erin is blue.[(triple2 OR ((((triple1 triple6) -> rule1)) -> rule2))] Erin is furry.[(triple3 OR ((triple4) -> rule6) OR ((((((triple1 triple6) -> rule1)) -> rule5)) -> rule6) OR ((((((triple5 triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule8) triple2) -> rule3)) -> rule5)) -> rule6))] Erin is green.[(triple4 OR ((((triple1 triple6) -> rule1)) -> rule5) OR ((((triple5 triple2) -> rule3)) -> rule5) OR ((((((triple2) -> rule8) triple2) -> rule3)) -> rule5))] Erin is nice.[(triple5 OR ((triple2) -> rule8) OR ((((((triple1 triple6) -> rule1)) -> rule2)) -> rule8))] Erin is white.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is white.[(triple9)] Harry is furry.[(triple10 OR ((((triple11) -> rule5)) -> rule6))] Harry is quiet.[(triple11)] Harry is white.[(triple12)] @1: Erin is quiet.[(((triple1 triple6) -> rule1) OR ((triple5 triple2) -> rule3) OR ((((triple2) -> rule8) triple2) -> rule3))] Gary is furry.[(((triple7) -> rule6))] Harry is green.[(((triple11) -> rule5))] @2: Harry is big.[(((triple11 ((triple11) -> rule5)) -> rule4))]