Bob is big. Bob is quiet. Bob is red. Bob is young. Dave is red. Dave is rough. Dave is round. If Dave is red and Dave is big then Dave is quiet. All quiet, young people are smart. All round, rough people are red. Rough people are smart. All red people are quiet. All big, young people are round.
Dave is round.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule5))] Bob is red.[(triple3)] Bob is young.[(triple4)] Dave is red.[(triple5 OR ((triple7 triple6) -> rule3))] Dave is rough.[(triple6)] Dave is round.[(triple7)] @1: Bob is round.[(((triple1 triple4) -> rule6))] Bob is smart.[(((triple2 triple4) -> rule2) OR ((((triple3) -> rule5) triple4) -> rule2))] Dave is quiet.[(((triple5) -> rule5) OR ((((triple7 triple6) -> rule3)) -> rule5))] Dave is smart.[(((triple6) -> rule4))]