Erin is furry. Erin is quiet. Fiona is red. Gary is quiet. Gary is smart. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. If Gary is blue then Gary is furry. If someone is nice then they are young. All red people are nice. Young, blue people are quiet. All nice, quiet people are red. If someone is smart and quiet then they are red. All red people are quiet. All red, young people are blue. If Harry is quiet then Harry is furry.
Fiona is young.
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2)] Fiona is red.[(triple3)] Gary is quiet.[(triple4)] Gary is smart.[(triple5)] Harry is blue.[(triple6 OR ((triple10 ((triple8) -> rule2)) -> rule8) OR ((((triple8 triple9) -> rule5) ((triple8) -> rule2)) -> rule8) OR ((triple10 ((((triple10) -> rule3)) -> rule2)) -> rule8) OR ((((triple8 triple9) -> rule5) ((((triple10) -> rule3)) -> rule2)) -> rule8))] Harry is furry.[(triple7 OR ((triple9) -> rule9) OR ((((triple10) -> rule7)) -> rule9) OR ((((((triple8) -> rule2) triple6) -> rule4)) -> rule9) OR ((((((((triple10) -> rule3)) -> rule2) triple6) -> rule4)) -> rule9) OR ((((((triple8) -> rule2) ((triple10 ((triple8) -> rule2)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple10) -> rule3)) -> rule2) ((triple10 ((triple8) -> rule2)) -> rule8)) -> rule4)) -> rule9) OR ((((((triple8) -> rule2) ((triple10 ((((triple10) -> rule3)) -> rule2)) -> rule8)) -> rule4)) -> rule9) OR ((((((((triple10) -> rule3)) -> rule2) ((triple10 ((((triple10) -> rule3)) -> rule2)) -> rule8)) -> rule4)) -> rule9))] Harry is nice.[(triple8 OR ((triple10) -> rule3))] Harry is quiet.[(triple9 OR ((triple10) -> rule7) OR ((((triple8) -> rule2) triple6) -> rule4) OR ((((((triple10) -> rule3)) -> rule2) triple6) -> rule4) OR ((((triple8) -> rule2) ((triple10 ((triple8) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule2) ((triple10 ((triple8) -> rule2)) -> rule8)) -> rule4) OR ((((triple8) -> rule2) ((triple10 ((((triple10) -> rule3)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule2) ((triple10 ((((triple10) -> rule3)) -> rule2)) -> rule8)) -> rule4))] Harry is red.[(triple10 OR ((triple8 triple9) -> rule5) OR ((triple8 ((((triple8) -> rule2) triple6) -> rule4)) -> rule5))] @1: Fiona is nice.[(((triple3) -> rule3))] Fiona is quiet.[(((triple3) -> rule7) OR ((((((triple3) -> rule3)) -> rule2) ((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule8)) -> rule4))] Gary is red.[(((triple5 triple4) -> rule6))] Harry is young.[(((triple8) -> rule2) OR ((((triple10) -> rule3)) -> rule2))] @2: Fiona is young.[(((((triple3) -> rule3)) -> rule2))] Gary is nice.[(((((triple5 triple4) -> rule6)) -> rule3))] @3: Fiona is blue.[(((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule8))] Gary is young.[(((((((triple5 triple4) -> rule6)) -> rule3)) -> rule2))] @4: Gary is blue.[(((((triple5 triple4) -> rule6) ((((((triple5 triple4) -> rule6)) -> rule3)) -> rule2)) -> rule8))] @5: Gary is furry.[(((((((triple5 triple4) -> rule6) ((((((triple5 triple4) -> rule6)) -> rule3)) -> rule2)) -> rule8)) -> rule1))]