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