Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. All rough things are round. If something is rough then it is furry. If something is nice and quiet then it is kind. Furry, red things are rough. All furry, quiet things are kind. All rough, round things are quiet.
Erin is not round.
@0: Erin is furry.[(triple1 OR ((triple6) -> rule2))] Erin is kind.[(triple2 OR ((triple1 triple4) -> rule5) OR ((triple3 triple4) -> rule3) OR ((triple1 ((triple6 triple7) -> rule6)) -> rule5) OR ((triple3 ((triple6 triple7) -> rule6)) -> rule3) OR ((((triple6) -> rule2) triple4) -> rule5) OR ((((triple6) -> rule2) ((triple6 triple7) -> rule6)) -> rule5) OR ((triple1 ((triple6 ((triple6) -> rule1)) -> rule6)) -> rule5) OR ((triple1 ((((triple1 triple5) -> rule4) triple7) -> rule6)) -> rule5) OR ((triple3 ((triple6 ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((triple3 ((((triple1 triple5) -> rule4) triple7) -> rule6)) -> rule3) OR ((triple1 ((((triple1 triple5) -> rule4) ((triple6) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple1 triple5) -> rule4) ((triple6) -> rule1)) -> rule6)) -> rule3) OR ((((triple6) -> rule2) ((triple6 ((triple6) -> rule1)) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((triple1 triple5) -> rule4) triple7) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((triple1 triple5) -> rule4) ((triple6) -> rule1)) -> rule6)) -> rule5) OR ((triple1 ((triple6 ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((triple6 ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((triple1 ((((triple1 triple5) -> rule4) ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple1 triple5) -> rule4) ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((((triple6) -> rule2) ((triple6 ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple6) -> rule2) ((((triple1 triple5) -> rule4) ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple6 triple7) -> rule6) OR ((triple6 ((triple6) -> rule1)) -> rule6) OR ((((triple1 triple5) -> rule4) triple7) -> rule6) OR ((((triple1 triple5) -> rule4) ((triple6) -> rule1)) -> rule6) OR ((triple6 ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6) OR ((((triple1 triple5) -> rule4) ((((triple1 triple5) -> rule4)) -> rule1)) -> rule6))] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple1 triple5) -> rule4))] Erin is round.[(triple7 OR ((triple6) -> rule1) OR ((((triple1 triple5) -> rule4)) -> rule1))] Gary is furry.[(triple8 OR ((triple13) -> rule2))] Gary is kind.[(triple9 OR ((triple10 triple11) -> rule3) OR ((triple8 triple11) -> rule5) OR ((triple10 ((triple13 triple14) -> rule6)) -> rule3) OR ((triple8 ((triple13 triple14) -> rule6)) -> rule5) OR ((((triple13) -> rule2) triple11) -> rule5) OR ((((triple13) -> rule2) ((triple13 triple14) -> rule6)) -> rule5) OR ((triple10 ((triple13 ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((triple10 ((((triple8 triple12) -> rule4) triple14) -> rule6)) -> rule3) OR ((triple8 ((triple13 ((triple13) -> rule1)) -> rule6)) -> rule5) OR ((triple8 ((((triple8 triple12) -> rule4) triple14) -> rule6)) -> rule5) OR ((triple10 ((((triple8 triple12) -> rule4) ((triple13) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((((triple8 triple12) -> rule4) ((triple13) -> rule1)) -> rule6)) -> rule5) OR ((((triple13) -> rule2) ((triple13 ((triple13) -> rule1)) -> rule6)) -> rule5) OR ((((triple13) -> rule2) ((((triple8 triple12) -> rule4) triple14) -> rule6)) -> rule5) OR ((((triple13) -> rule2) ((((triple8 triple12) -> rule4) ((triple13) -> rule1)) -> rule6)) -> rule5) OR ((triple10 ((triple13 ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((triple13 ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((triple10 ((((triple8 triple12) -> rule4) ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((((triple8 triple12) -> rule4) ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple13) -> rule2) ((triple13 ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple13) -> rule2) ((((triple8 triple12) -> rule4) ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple13 triple14) -> rule6) OR ((triple13 ((triple13) -> rule1)) -> rule6) OR ((((triple8 triple12) -> rule4) triple14) -> rule6) OR ((((triple8 triple12) -> rule4) ((triple13) -> rule1)) -> rule6) OR ((triple13 ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6) OR ((((triple8 triple12) -> rule4) ((((triple8 triple12) -> rule4)) -> rule1)) -> rule6))] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple8 triple12) -> rule4))] Gary is round.[(triple14 OR ((triple13) -> rule1) OR ((((triple8 triple12) -> rule4)) -> rule1))]