Bob is cold. Bob is kind. Bob is nice. Bob is smart. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Gary is blue. Gary is cold. Gary is quiet. Gary is smart. Harry is cold. Harry is furry. Harry is quiet. All smart things are cold. All quiet things are nice. Nice, cold things are smart. All nice, cold things are blue. If something is smart then it is kind. If something is quiet and blue then it is furry. Smart things are nice. If Harry is nice and Harry is blue then Harry is quiet.
Harry is not nice.
@0: Bob is cold.[(triple1 OR ((triple4) -> rule1))] Bob is kind.[(triple2 OR ((triple4) -> rule5) OR ((((triple3 triple1) -> rule3)) -> rule5))] Bob is nice.[(triple3 OR ((triple4) -> rule7))] Bob is smart.[(triple4 OR ((triple3 triple1) -> rule3))] Dave is blue.[(triple5 OR ((triple8 triple6) -> rule4))] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Gary is blue.[(triple9 OR ((((triple11) -> rule2) triple10) -> rule4) OR ((((triple12) -> rule7) triple10) -> rule4) OR ((((triple11) -> rule2) ((triple12) -> rule1)) -> rule4) OR ((((triple12) -> rule7) ((triple12) -> rule1)) -> rule4))] Gary is cold.[(triple10 OR ((triple12) -> rule1))] Gary is quiet.[(triple11)] Gary is smart.[(triple12 OR ((((triple11) -> rule2) triple10) -> rule3))] Harry is cold.[(triple13)] Harry is furry.[(triple14 OR ((triple15 ((((triple15) -> rule2) triple13) -> rule4)) -> rule6))] Harry is quiet.[(triple15)] @1: Bob is blue.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule7) triple1) -> rule4) OR ((((triple4) -> rule7) ((triple4) -> rule1)) -> rule4))] Dave is smart.[(((triple8 triple6) -> rule3))] Gary is furry.[(((triple11 triple9) -> rule6) OR ((triple11 ((((triple11) -> rule2) triple10) -> rule4)) -> rule6) OR ((triple11 ((((triple12) -> rule7) triple10) -> rule4)) -> rule6) OR ((triple11 ((((triple11) -> rule2) ((triple12) -> rule1)) -> rule4)) -> rule6) OR ((triple11 ((((triple12) -> rule7) ((triple12) -> rule1)) -> rule4)) -> rule6))] Gary is kind.[(((triple12) -> rule5) OR ((((((triple11) -> rule2) triple10) -> rule3)) -> rule5))] Gary is nice.[(((triple11) -> rule2) OR ((triple12) -> rule7))] Harry is nice.[(((triple15) -> rule2))] @2: Dave is kind.[(((((triple8 triple6) -> rule3)) -> rule5))] Harry is blue.[(((((triple15) -> rule2) triple13) -> rule4))] Harry is smart.[(((((triple15) -> rule2) triple13) -> rule3))] @3: Harry is kind.[(((((((triple15) -> rule2) triple13) -> rule3)) -> rule5))]