Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is young. Erin is blue. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is young. If someone is furry and quiet then they are blue. If Erin is round then Erin is quiet. Round people are nice. All quiet, furry people are kind. Nice people are blue. All furry, kind people are blue.
Charlie is not blue.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule5) OR ((triple2 triple3) -> rule6) OR ((triple2 triple5) -> rule1) OR ((((triple6) -> rule3)) -> rule5) OR ((triple2 ((triple5 triple2) -> rule4)) -> rule6))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3 OR ((triple5 triple2) -> rule4))] Charlie is nice.[(triple4 OR ((triple6) -> rule3))] Charlie is quiet.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8 OR ((triple11) -> rule5) OR ((triple9 triple10) -> rule6) OR ((triple9 triple12) -> rule1) OR ((((triple13) -> rule3)) -> rule5) OR ((triple9 ((triple13) -> rule2)) -> rule1) OR ((triple9 ((triple12 triple9) -> rule4)) -> rule6) OR ((triple9 ((((triple13) -> rule2) triple9) -> rule4)) -> rule6))] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((triple12 triple9) -> rule4) OR ((((triple13) -> rule2) triple9) -> rule4))] Erin is nice.[(triple11 OR ((triple13) -> rule3))] Erin is quiet.[(triple12 OR ((triple13) -> rule2))] Erin is round.[(triple13)] Erin is young.[(triple14)]