Dave is red. Dave is round. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Gary is quiet. All red people are rough. If someone is blue and quiet then they are furry. If Erin is furry then Erin is round. Blue, round people are rough. All furry, round people are red. All red, round people are big. If someone is red and quiet then they are big. If someone is red then they are blue.
Gary is round.
@0: Dave is red.[(triple1)] Dave is round.[(triple2)] Erin is blue.[(triple3 OR ((((triple4 triple6) -> rule5)) -> rule8) OR ((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8))] Erin is furry.[(triple4 OR ((triple3 triple5) -> rule2))] Erin is quiet.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule3) OR ((((triple3 triple5) -> rule2)) -> rule3))] Gary is quiet.[(triple7)] @1: Dave is big.[(((triple1 triple2) -> rule6))] Dave is blue.[(((triple1) -> rule8))] Dave is rough.[(((triple1) -> rule1) OR ((((triple1) -> rule8) triple2) -> rule4))] Erin is red.[(((triple4 triple6) -> rule5) OR ((triple4 ((triple4) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule2) triple6) -> rule5) OR ((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) OR ((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5))] Erin is rough.[(((triple3 triple6) -> rule4) OR ((((triple4 triple6) -> rule5)) -> rule1) OR ((triple3 ((triple4) -> rule3)) -> rule4) OR ((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule1) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5)) -> rule1) OR ((triple3 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule5)) -> rule8) triple6) -> rule4) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 triple6) -> rule5)) -> rule8) ((triple4) -> rule3)) -> rule4) OR ((((((triple4 triple6) -> rule5)) -> rule8) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) triple6) -> rule4) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5)) -> rule1) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) ((triple4) -> rule3)) -> rule4) OR ((((((triple4 ((triple4) -> rule3)) -> rule5)) -> rule8) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule4))] @2: Erin is big.[(((((triple4 triple6) -> rule5) triple5) -> rule7) OR ((((triple4 triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) triple6) -> rule6) OR ((((triple4 triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) triple6) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((triple4) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple5) -> rule7) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) triple6) -> rule6) OR ((((triple4 ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule6) OR ((((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule5) ((((triple3 triple5) -> rule2)) -> rule3)) -> rule6))]