Bob is blue. Bob is cold. Bob is furry. Bob is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is young. Blue people are furry. If Charlie is young then Charlie is furry. Cold, young people are nice. All young people are quiet. If Bob is kind and Bob is blue then Bob is young. If Charlie is furry and Charlie is quiet then Charlie is cold.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule1))] Bob is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6 OR ((((triple10) -> rule2) triple9) -> rule6) OR ((((triple5) -> rule1) triple9) -> rule6) OR ((((triple10) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((triple5) -> rule1) ((triple10) -> rule4)) -> rule6))] Charlie is kind.[(triple7)] Charlie is nice.[(triple8 OR ((triple6 triple10) -> rule3) OR ((((((triple10) -> rule2) triple9) -> rule6) triple10) -> rule3) OR ((((((triple5) -> rule1) triple9) -> rule6) triple10) -> rule3) OR ((((((triple10) -> rule2) ((triple10) -> rule4)) -> rule6) triple10) -> rule3) OR ((((((triple5) -> rule1) ((triple10) -> rule4)) -> rule6) triple10) -> rule3))] Charlie is quiet.[(triple9 OR ((triple10) -> rule4))] Charlie is young.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((triple15) -> rule4))] Harry is young.[(triple15)] @1: Bob is nice.[(((triple2 triple4) -> rule3))] Bob is quiet.[(((triple4) -> rule4))] Charlie is furry.[(((triple10) -> rule2) OR ((triple5) -> rule1))] Harry is nice.[(((triple11 triple15) -> rule3))]