Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is rough. Dave is blue. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Harry is blue. Harry is quiet. Cold things are blue. All rough things are furry. Nice things are rough. All furry things are nice. Quiet, nice things are cold. If Harry is nice and Harry is smart then Harry is blue. If Harry is quiet then Harry is smart. Furry, rough things are cold.
Charlie is blue.
@0: Charlie is cold.[(triple1 OR ((triple3 triple2) -> rule5) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule2) ((triple2) -> rule3)) -> rule8) OR ((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule5) OR ((((((triple2) -> rule3)) -> rule2) triple4) -> rule8) OR ((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule8))] Charlie is nice.[(triple2 OR ((((triple4) -> rule2)) -> rule4))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4 OR ((triple2) -> rule3))] Dave is blue.[(triple5 OR ((triple6) -> rule1) OR ((((triple7 triple9) -> rule8)) -> rule1) OR ((((triple8 ((triple7) -> rule4)) -> rule5)) -> rule1) OR ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1) OR ((((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule8)) -> rule1) OR ((((triple8 ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple9) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule8)) -> rule1))] Dave is cold.[(triple6 OR ((triple7 triple9) -> rule8) OR ((triple8 ((triple7) -> rule4)) -> rule5) OR ((((triple9) -> rule2) triple9) -> rule8) OR ((triple7 ((((triple7) -> rule4)) -> rule3)) -> rule8) OR ((triple8 ((((triple9) -> rule2)) -> rule4)) -> rule5) OR ((((triple9) -> rule2) ((((triple7) -> rule4)) -> rule3)) -> rule8))] Dave is furry.[(triple7 OR ((triple9) -> rule2))] Dave is quiet.[(triple8)] Dave is rough.[(triple9 OR ((((triple7) -> rule4)) -> rule3))] Dave is smart.[(triple10)] Harry is blue.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule1) OR ((((triple3 triple2) -> rule5)) -> rule1) OR ((((((triple4) -> rule2) triple4) -> rule8)) -> rule1) OR ((((((triple4) -> rule2) ((triple2) -> rule3)) -> rule8)) -> rule1) OR ((((triple3 ((((triple4) -> rule2)) -> rule4)) -> rule5)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule2) triple4) -> rule8)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule8)) -> rule1))] Charlie is furry.[(((triple4) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Dave is nice.[(((triple7) -> rule4) OR ((((triple9) -> rule2)) -> rule4))] Harry is smart.[(((triple12) -> rule7))]