Bob is furry. Bob is young. Dave is cold. Dave is round. Dave is smart. Dave is young. Erin is cold. Erin is nice. Erin is smart. Harry is furry. All young things are furry. If something is cold and furry then it is quiet. All nice, smart things are cold. All nice things are young. All nice things are young. All nice things are cold.
Dave is nice.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule1))] Bob is young.[(triple2)] Dave is cold.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is cold.[(triple7 OR ((triple8) -> rule6) OR ((triple8 triple9) -> rule3))] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Harry is furry.[(triple10)] @1: Dave is furry.[(((triple6) -> rule1))] Erin is young.[(((triple8) -> rule4) OR ((triple8) -> rule5))] @2: Dave is quiet.[(((triple3 ((triple6) -> rule1)) -> rule2))] Erin is furry.[(((((triple8) -> rule4)) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] @3: Erin is quiet.[(((triple7 ((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((triple7 ((((triple8) -> rule5)) -> rule1)) -> rule2) OR ((((triple8) -> rule6) ((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((((triple8) -> rule6) ((((triple8) -> rule5)) -> rule1)) -> rule2) OR ((((triple8 triple9) -> rule3) ((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((((triple8 triple9) -> rule3) ((((triple8) -> rule5)) -> rule1)) -> rule2))]