Charlie is rough. Dave is furry. Erin is blue. Erin is cold. Erin is smart. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is smart. All kind people are blue. If someone is smart and furry then they are kind. Big, blue people are kind. If someone is big and smart then they are rough. All furry people are smart. If someone is blue then they are rough.
Charlie is not cold.
@0: Charlie is rough.[(triple1)] Dave is furry.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is smart.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7 OR ((triple9) -> rule1) OR ((((triple10 triple8) -> rule2)) -> rule1) OR ((((((triple8) -> rule5) triple8) -> rule2)) -> rule1))] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((triple10 triple8) -> rule2) OR ((triple6 triple7) -> rule3) OR ((((triple8) -> rule5) triple8) -> rule2))] Harry is smart.[(triple10 OR ((triple8) -> rule5))] @1: Dave is smart.[(((triple2) -> rule5))] Erin is rough.[(((triple3) -> rule6))] Harry is rough.[(((triple7) -> rule6) OR ((triple6 triple10) -> rule4) OR ((((triple9) -> rule1)) -> rule6) OR ((triple6 ((triple8) -> rule5)) -> rule4) OR ((((((triple10 triple8) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple8) -> rule5) triple8) -> rule2)) -> rule1)) -> rule6))] @2: Dave is kind.[(((((triple2) -> rule5) triple2) -> rule2))] @3: Dave is blue.[(((((((triple2) -> rule5) triple2) -> rule2)) -> rule1))] @4: Dave is rough.[(((((((((triple2) -> rule5) triple2) -> rule2)) -> rule1)) -> rule6))]