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