Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Charlie is big. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Erin is blue. Erin is kind. Erin is quiet. If Charlie is blue and Charlie is smart then Charlie is red. If something is big and smart then it is kind. If something is blue and smart then it is quiet. Smart, kind things are furry. All blue, quiet things are smart. Quiet, blue things are kind.
Erin is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple1 triple7) -> rule2)) -> rule4) OR ((triple7 ((triple5 triple2) -> rule6)) -> rule4) OR ((((triple2 triple5) -> rule5) triple4) -> rule4) OR ((((triple2 triple5) -> rule5) ((triple1 triple7) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule5) ((triple5 triple2) -> rule6)) -> rule4) OR ((triple7 ((triple1 ((triple2 triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple7 ((((triple2 triple7) -> rule3) triple2) -> rule6)) -> rule4) OR ((((triple2 triple5) -> rule5) ((triple1 ((triple2 triple5) -> rule5)) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule5) ((((triple2 triple7) -> rule3) triple2) -> rule6)) -> rule4))] Bob is kind.[(triple4 OR ((triple1 triple7) -> rule2) OR ((triple5 triple2) -> rule6) OR ((triple1 ((triple2 triple5) -> rule5)) -> rule2) OR ((((triple2 triple7) -> rule3) triple2) -> rule6))] Bob is quiet.[(triple5 OR ((triple2 triple7) -> rule3))] Bob is red.[(triple6)] Bob is smart.[(triple7 OR ((triple2 triple5) -> rule5))] Charlie is big.[(triple8)] Charlie is furry.[(triple9 OR ((triple13 triple10) -> rule4) OR ((triple13 ((triple8 triple13) -> rule2)) -> rule4))] Charlie is kind.[(triple10 OR ((triple8 triple13) -> rule2))] Charlie is quiet.[(triple11)] Charlie is red.[(triple12)] Charlie is smart.[(triple13)] Erin is blue.[(triple14)] Erin is kind.[(triple15 OR ((triple16 triple14) -> rule6))] Erin is quiet.[(triple16)] @1: Erin is smart.[(((triple14 triple16) -> rule5))] @2: Erin is furry.[(((((triple14 triple16) -> rule5) triple15) -> rule4) OR ((((triple14 triple16) -> rule5) ((triple16 triple14) -> rule6)) -> rule4))]