Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Dave is red. Dave is rough. Fiona is rough. Harry is kind. Harry is rough. Red things are nice. All nice things are cold. Furry things are kind. If something is cold and rough then it is white. If Fiona is furry then Fiona is kind. Rough, kind things are furry. White things are kind.
Charlie is not white.
@0: Charlie is cold.[(triple1 OR ((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Charlie is furry.[(triple2 OR ((triple6 triple3) -> rule6) OR ((triple6 ((((triple1 triple6) -> rule4)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule2) triple6) -> rule4)) -> rule7)) -> rule6) OR ((triple6 ((((((((triple5) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7)) -> rule6))] Charlie is kind.[(triple3 OR ((triple2) -> rule3) OR ((((triple1 triple6) -> rule4)) -> rule7) OR ((((((triple4) -> rule2) triple6) -> rule4)) -> rule7) OR ((((((((triple5) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7))] Charlie is nice.[(triple4 OR ((triple5) -> rule1))] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Fiona is rough.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11)] @1: Charlie is white.[(((triple1 triple6) -> rule4) OR ((((triple4) -> rule2) triple6) -> rule4) OR ((((((triple5) -> rule1)) -> rule2) triple6) -> rule4))] Dave is nice.[(((triple7) -> rule1))] Harry is furry.[(((triple11 triple10) -> rule6))] @2: Dave is cold.[(((((triple7) -> rule1)) -> rule2))] @3: Dave is white.[(((((((triple7) -> rule1)) -> rule2) triple8) -> rule4))] @4: Dave is kind.[(((((((((triple7) -> rule1)) -> rule2) triple8) -> rule4)) -> rule7))] @5: Dave is furry.[(((triple8 ((((((((triple7) -> rule1)) -> rule2) triple8) -> rule4)) -> rule7)) -> rule6))]