Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Harry is furry. Harry is quiet. Harry is red. Quiet people are nice. All furry, quiet people are smart. If Charlie is furry and Charlie is white then Charlie is rough. If Harry is red then Harry is quiet. All nice, quiet people are rough. If someone is nice and quiet then they are white.
Charlie is not rough.
@0: Charlie is nice.[(triple1 OR ((triple2) -> rule1))] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Harry is furry.[(triple5)] Harry is quiet.[(triple6 OR ((triple7) -> rule4))] Harry is red.[(triple7)] @1: Charlie is rough.[(((triple1 triple2) -> rule5) OR ((((triple2) -> rule1) triple2) -> rule5))] Charlie is white.[(((triple1 triple2) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule6))] Harry is nice.[(((triple6) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] Harry is smart.[(((triple5 triple6) -> rule2) OR ((triple5 ((triple7) -> rule4)) -> rule2))] @2: Harry is rough.[(((((triple6) -> rule1) triple6) -> rule5) OR ((((triple6) -> rule1) ((triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1) triple6) -> rule5) OR ((((((triple7) -> rule4)) -> rule1) ((triple7) -> rule4)) -> rule5))] Harry is white.[(((((triple6) -> rule1) triple6) -> rule6) OR ((((triple6) -> rule1) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) triple6) -> rule6) OR ((((((triple7) -> rule4)) -> rule1) ((triple7) -> rule4)) -> rule6))]