Bob is quiet. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Gary is big. Gary is furry. Gary is quiet. Gary is smart. Harry is furry. Harry is quiet. All smart people are round. Big, quiet people are cold. Round people are big. If someone is big then they are furry. If someone is round then they are smart. All cold, smart people are quiet.
Gary is nice.
@0: Bob is quiet.[(triple1)] Dave is big.[(triple2 OR ((((triple6) -> rule1)) -> rule3))] Dave is cold.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((((triple6) -> rule1)) -> rule3) triple5) -> rule2))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple3 triple6) -> rule6))] Dave is smart.[(triple6)] Gary is big.[(triple7 OR ((((triple10) -> rule1)) -> rule3))] Gary is furry.[(triple8 OR ((triple7) -> rule4) OR ((((((triple10) -> rule1)) -> rule3)) -> rule4))] Gary is quiet.[(triple9)] Gary is smart.[(triple10)] Harry is furry.[(triple11)] Harry is quiet.[(triple12)] @1: Dave is furry.[(((triple2) -> rule4) OR ((((((triple6) -> rule1)) -> rule3)) -> rule4))] Dave is round.[(((triple6) -> rule1))] Gary is cold.[(((triple7 triple9) -> rule2) OR ((((((triple10) -> rule1)) -> rule3) triple9) -> rule2))] Gary is round.[(((triple10) -> rule1))]