Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is smart. Erin is furry. Erin is kind. Erin is smart. Erin is young. Red things are young. If something is young then it is blue. If Erin is furry and Erin is smart then Erin is round. Furry, kind things are smart. Furry, smart things are round. Furry things are smart.
Dave is not blue.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5 OR ((triple2) -> rule6) OR ((triple2 triple3) -> rule4))] Charlie is young.[(triple6 OR ((triple4) -> rule1))] Dave is blue.[(triple7 OR ((((triple10) -> rule1)) -> rule2))] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11 OR ((triple8) -> rule6) OR ((triple8 triple9) -> rule4))] Erin is furry.[(triple12)] Erin is kind.[(triple13)] Erin is smart.[(triple14 OR ((triple12) -> rule6) OR ((triple12 triple13) -> rule4))] Erin is young.[(triple15)] @1: Charlie is round.[(((triple2 triple5) -> rule5) OR ((triple2 ((triple2) -> rule6)) -> rule5) OR ((triple2 ((triple2 triple3) -> rule4)) -> rule5))] Dave is round.[(((triple8 triple11) -> rule5) OR ((triple8 ((triple8) -> rule6)) -> rule5) OR ((triple8 ((triple8 triple9) -> rule4)) -> rule5))] Dave is young.[(((triple10) -> rule1))] Erin is blue.[(((triple15) -> rule2))] Erin is round.[(((triple12 triple14) -> rule3) OR ((triple12 triple14) -> rule5) OR ((triple12 ((triple12) -> rule6)) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule5) OR ((triple12 ((triple12 triple13) -> rule4)) -> rule3) OR ((triple12 ((triple12 triple13) -> rule4)) -> rule5))]