Bob is big. Bob is quiet. Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is round. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Harry is nice. Harry is quiet. Harry is round. All quiet, round things are cold. Nice things are red. All quiet, red things are furry.
Erin is red.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4 OR ((triple7 triple9) -> rule1))] Dave is furry.[(triple5 OR ((triple7 triple8) -> rule3) OR ((triple7 ((triple6) -> rule2)) -> rule3))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8 OR ((triple6) -> rule2))] Dave is round.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11 OR ((triple12 triple13) -> rule3))] Erin is quiet.[(triple12)] Erin is red.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16)] @1: Harry is cold.[(((triple15 triple16) -> rule1))] Harry is red.[(((triple14) -> rule2))] @2: Harry is furry.[(((triple15 ((triple14) -> rule2)) -> rule3))]