Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is round. Dave is smart. All round things are blue. Quiet, young things are smart. All blue things are round. Young things are quiet. Round, young things are blue. All cold, smart things are furry.
Bob is quiet.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule1) OR ((triple5 triple7) -> rule5))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2 triple6) -> rule6) OR ((triple2 ((triple4 triple7) -> rule2)) -> rule6) OR ((triple2 ((((triple7) -> rule4) triple7) -> rule2)) -> rule6))] Bob is quiet.[(triple4 OR ((triple7) -> rule4))] Bob is round.[(triple5 OR ((triple1) -> rule3))] Bob is smart.[(triple6 OR ((triple4 triple7) -> rule2) OR ((((triple7) -> rule4) triple7) -> rule2))] Bob is young.[(triple7)] Dave is blue.[(triple8 OR ((triple9) -> rule1))] Dave is round.[(triple9 OR ((triple8) -> rule3))] Dave is smart.[(triple10)]