Bob is nice. Bob is quiet. Dave is big. Dave is not nice. Erin is furry. Erin is nice. Erin is red. Erin is round. Erin is smart. Harry is not big. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is round. If someone is furry then they are quiet. All round people are quiet. All furry, quiet people are round. If Dave is big then Dave is furry. Round, smart people are nice. Smart, quiet people are red. If someone is furry and not big then they are smart. If someone is nice and not round then they are smart.
Erin is not big.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Dave is big.[(triple3)] Dave is not nice.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6 OR ((triple8 triple9) -> rule5) OR ((((triple5 ((triple5) -> rule1)) -> rule3) triple9) -> rule5))] Erin is red.[(triple7 OR ((triple9 ((triple5) -> rule1)) -> rule6) OR ((triple9 ((triple8) -> rule2)) -> rule6))] Erin is round.[(triple8 OR ((triple5 ((triple5) -> rule1)) -> rule3))] Erin is smart.[(triple9)] Harry is furry.[(triple11)] Harry is nice.[(triple12 OR ((triple15 ((triple11 triple10) -> rule7)) -> rule5) OR ((((triple11 triple13) -> rule3) ((triple11 triple10) -> rule7)) -> rule5) OR ((((triple11 ((triple11) -> rule1)) -> rule3) ((triple11 triple10) -> rule7)) -> rule5))] Harry is not big.[(triple10)] Harry is quiet.[(triple13 OR ((triple11) -> rule1) OR ((triple15) -> rule2))] Harry is red.[(triple14 OR ((((triple11 triple10) -> rule7) triple13) -> rule6) OR ((((triple11 triple10) -> rule7) ((triple11) -> rule1)) -> rule6) OR ((((triple11 triple10) -> rule7) ((triple15) -> rule2)) -> rule6))] Harry is round.[(triple15 OR ((triple11 triple13) -> rule3) OR ((triple11 ((triple11) -> rule1)) -> rule3))] @1: Dave is furry.[(((triple3) -> rule4))] Erin is quiet.[(((triple5) -> rule1) OR ((triple8) -> rule2))] Harry is smart.[(((triple11 triple10) -> rule7))] @2: Dave is quiet.[(((((triple3) -> rule4)) -> rule1))] @3: Dave is round.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule1)) -> rule3))]