Dave is furry. Dave is young. Erin is big. Erin is quiet. Fiona is big. Fiona is furry. Fiona is quiet. Fiona is rough. Gary is big. Gary is blue. Gary is quiet. Gary is rough. If Fiona is quiet and Fiona is blue then Fiona is kind. If someone is big and rough then they are blue. Kind people are big. Rough people are young. If Gary is blue and Gary is rough then Gary is furry. All quiet people are big. All kind, blue people are furry. If someone is rough and blue then they are quiet.
Gary is not big.
@0: Dave is furry.[(triple1)] Dave is young.[(triple2)] Erin is big.[(triple3 OR ((triple4) -> rule6))] Erin is quiet.[(triple4)] Fiona is big.[(triple5 OR ((triple7) -> rule6))] Fiona is furry.[(triple6 OR ((((triple7 ((triple5 triple8) -> rule2)) -> rule1) ((triple5 triple8) -> rule2)) -> rule7) OR ((((triple7 ((triple5 triple8) -> rule2)) -> rule1) ((((triple7) -> rule6) triple8) -> rule2)) -> rule7) OR ((((triple7 ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) ((triple5 triple8) -> rule2)) -> rule7) OR ((((triple7 ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) ((((triple7) -> rule6) triple8) -> rule2)) -> rule7) OR ((((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((triple5 triple8) -> rule2)) -> rule1) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((triple5 triple8) -> rule2)) -> rule1) ((((triple7) -> rule6) triple8) -> rule2)) -> rule7) OR ((((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) ((triple5 triple8) -> rule2)) -> rule7) OR ((((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) ((((triple7) -> rule6) triple8) -> rule2)) -> rule7))] Fiona is quiet.[(triple7 OR ((triple8 ((triple5 triple8) -> rule2)) -> rule8))] Fiona is rough.[(triple8)] Gary is big.[(triple9 OR ((triple11) -> rule6) OR ((((triple12 triple10) -> rule8)) -> rule6))] Gary is blue.[(triple10 OR ((triple9 triple12) -> rule2) OR ((((triple11) -> rule6) triple12) -> rule2))] Gary is quiet.[(triple11 OR ((triple12 triple10) -> rule8) OR ((triple12 ((triple9 triple12) -> rule2)) -> rule8))] Gary is rough.[(triple12)] @1: Fiona is blue.[(((triple5 triple8) -> rule2) OR ((((triple7) -> rule6) triple8) -> rule2))] Fiona is young.[(((triple8) -> rule4))] Gary is furry.[(((triple10 triple12) -> rule5) OR ((((triple9 triple12) -> rule2) triple12) -> rule5) OR ((((((triple11) -> rule6) triple12) -> rule2) triple12) -> rule5))] Gary is young.[(((triple12) -> rule4))] @2: Fiona is kind.[(((triple7 ((triple5 triple8) -> rule2)) -> rule1) OR ((triple7 ((((triple7) -> rule6) triple8) -> rule2)) -> rule1) OR ((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((triple5 triple8) -> rule2)) -> rule1) OR ((((triple8 ((triple5 triple8) -> rule2)) -> rule8) ((((triple7) -> rule6) triple8) -> rule2)) -> rule1))]