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