Charlie is smart. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Fiona is nice. Fiona is round. Harry is furry. Harry is nice. Harry is round. Harry is smart. White, round people are furry. If Harry is smart and Harry is cold then Harry is round. If someone is white and furry then they are smart. If Erin is white then Erin is round. Nice people are cold. All smart, round people are nice.
Charlie is not nice.
@0: Charlie is smart.[(triple1)] Erin is nice.[(triple2 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple6) -> rule4)) -> rule6) OR ((((triple6 ((triple6 triple4) -> rule1)) -> rule3) triple4) -> rule6) OR ((((triple6 ((triple6 triple4) -> rule1)) -> rule3) ((triple6) -> rule4)) -> rule6) OR ((((triple6 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule3) triple4) -> rule6) OR ((((triple6 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule4)) -> rule6))] Erin is rough.[(triple3)] Erin is round.[(triple4 OR ((triple6) -> rule4))] Erin is smart.[(triple5 OR ((triple6 ((triple6 triple4) -> rule1)) -> rule3) OR ((triple6 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule3))] Erin is white.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10 OR ((triple12 triple11) -> rule6))] Harry is round.[(triple11 OR ((triple12 ((triple10) -> rule5)) -> rule2))] Harry is smart.[(triple12)] @1: Erin is cold.[(((triple2) -> rule5) OR ((((triple5 triple4) -> rule6)) -> rule5) OR ((((triple5 ((triple6) -> rule4)) -> rule6)) -> rule5) OR ((((((triple6 ((triple6 triple4) -> rule1)) -> rule3) triple4) -> rule6)) -> rule5) OR ((((((triple6 ((triple6 triple4) -> rule1)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5) OR ((((((triple6 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule3) triple4) -> rule6)) -> rule5) OR ((((((triple6 ((triple6 ((triple6) -> rule4)) -> rule1)) -> rule3) ((triple6) -> rule4)) -> rule6)) -> rule5))] Erin is furry.[(((triple6 triple4) -> rule1) OR ((triple6 ((triple6) -> rule4)) -> rule1))] Fiona is cold.[(((triple7) -> rule5))] Harry is cold.[(((triple10) -> rule5) OR ((((triple12 triple11) -> rule6)) -> rule5))]