Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Erin is blue. Erin is furry. Erin is nice. Erin is red. Erin is smart. If Erin is blue and Erin is red then Erin is nice. Blue things are red. All blue, kind things are rough. Smart, rough things are blue. Kind, red things are blue. Nice things are kind. If something is furry then it is smart. If Erin is blue then Erin is red.
Erin is not kind.
@0: Charlie is blue.[(triple1 OR ((triple3 triple5) -> rule5) OR ((triple7 triple6) -> rule4) OR ((((triple2) -> rule7) triple6) -> rule4) OR ((((triple4) -> rule6) triple5) -> rule5))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule6))] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule2) OR ((((triple7 triple6) -> rule4)) -> rule2) OR ((((((triple2) -> rule7) triple6) -> rule4)) -> rule2))] Charlie is rough.[(triple6 OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple4) -> rule6)) -> rule3) OR ((((triple3 triple5) -> rule5) triple3) -> rule3) OR ((((triple3 triple5) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule6) triple5) -> rule5) triple3) -> rule3) OR ((((((triple4) -> rule6) triple5) -> rule5) ((triple4) -> rule6)) -> rule3))] Charlie is smart.[(triple7 OR ((triple2) -> rule7))] Erin is blue.[(triple8 OR ((((triple10) -> rule6) triple11) -> rule5))] Erin is furry.[(triple9)] Erin is nice.[(triple10 OR ((triple8 triple11) -> rule1) OR ((triple8 ((triple8) -> rule2)) -> rule1) OR ((triple8 ((triple8) -> rule8)) -> rule1))] Erin is red.[(triple11 OR ((triple8) -> rule2) OR ((triple8) -> rule8))] Erin is smart.[(triple12 OR ((triple9) -> rule7))] @1: Erin is kind.[(((triple10) -> rule6) OR ((((triple8 triple11) -> rule1)) -> rule6) OR ((((triple8 ((triple8) -> rule2)) -> rule1)) -> rule6) OR ((((triple8 ((triple8) -> rule8)) -> rule1)) -> rule6))] @2: Erin is rough.[(((triple8 ((triple10) -> rule6)) -> rule3) OR ((triple8 ((((triple8 triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule5) ((triple10) -> rule6)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule5) ((((triple8 triple11) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((((triple8 ((triple8) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((triple8 ((((triple8 ((triple8) -> rule8)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule5) ((((triple8 ((triple8) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule5) ((((triple8 ((triple8) -> rule8)) -> rule1)) -> rule6)) -> rule3))]