Erin is furry. Erin is green. Erin is quiet. Erin is red. Gary is quiet. Gary is red. Gary is smart. If someone is furry and green then they are quiet. Quiet, big people are smart. All quiet people are nice. All red, big people are smart. All big, smart people are furry. All quiet people are big. Smart, quiet people are big. If Gary is furry and Gary is green then Gary is nice.
Gary is quiet.
@0: Erin is furry.[(triple1 OR ((((triple3) -> rule6) ((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple3) -> rule6) ((triple4 ((triple3) -> rule6)) -> rule4)) -> rule5))] Erin is green.[(triple2)] Erin is quiet.[(triple3 OR ((triple1 triple2) -> rule1))] Erin is red.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7 OR ((triple5 ((triple5) -> rule6)) -> rule2) OR ((triple6 ((triple5) -> rule6)) -> rule4))] @1: Erin is big.[(((triple3) -> rule6) OR ((((triple1 triple2) -> rule1)) -> rule6))] Erin is nice.[(((triple3) -> rule3) OR ((((triple1 triple2) -> rule1)) -> rule3))] Gary is big.[(((triple5) -> rule6) OR ((triple7 triple5) -> rule7))] Gary is nice.[(((triple5) -> rule3))] @2: Erin is smart.[(((triple3 ((triple3) -> rule6)) -> rule2) OR ((triple4 ((triple3) -> rule6)) -> rule4) OR ((((triple1 triple2) -> rule1) ((triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple1 triple2) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((triple1 triple2) -> rule1)) -> rule6)) -> rule4) OR ((((triple1 triple2) -> rule1) ((((triple1 triple2) -> rule1)) -> rule6)) -> rule2))] Gary is furry.[(((((triple5) -> rule6) triple7) -> rule5) OR ((((triple7 triple5) -> rule7) triple7) -> rule5) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple5) -> rule6) ((triple6 ((triple5) -> rule6)) -> rule4)) -> rule5) OR ((((triple7 triple5) -> rule7) ((triple5 ((triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple7 triple5) -> rule7) ((triple6 ((triple5) -> rule6)) -> rule4)) -> rule5))]