Bob is furry. Bob is quiet. Bob is young. Dave is big. Dave is round. Erin is big. Erin is red. Erin is white. Harry is furry. Harry is quiet. Harry is red. Harry is young. If someone is quiet and furry then they are big. If Harry is quiet and Harry is young then Harry is round. If someone is round then they are furry.
Dave is young.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4)] Dave is round.[(triple5)] Erin is big.[(triple6)] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is furry.[(triple9 OR ((((triple10 triple12) -> rule2)) -> rule3))] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Bob is big.[(((triple2 triple1) -> rule1))] Dave is furry.[(((triple5) -> rule3))] Harry is big.[(((triple10 triple9) -> rule1) OR ((triple10 ((((triple10 triple12) -> rule2)) -> rule3)) -> rule1))] Harry is round.[(((triple10 triple12) -> rule2))]