Dave is big. Dave is young. Erin is nice. Young people are round. If Dave is furry then Dave is round. All quiet people are young. Quiet people are young. If someone is big and round then they are young. Young people are quiet. All big, quiet people are furry. Furry people are smart.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is young.[(triple2)] Erin is nice.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule6))] Dave is round.[(((triple2) -> rule1) OR ((((triple1 ((triple2) -> rule6)) -> rule7)) -> rule2))] @2: Dave is furry.[(((triple1 ((triple2) -> rule6)) -> rule7))] @3: Dave is smart.[(((((triple1 ((triple2) -> rule6)) -> rule7)) -> rule8))]