Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Harry is cold. Harry is nice. Harry is rough. Quiet, rough people are blue. If someone is cold then they are quiet. If Harry is furry and Harry is kind then Harry is blue. If Charlie is furry and Charlie is quiet then Charlie is blue. If someone is cold then they are quiet. If someone is quiet then they are nice. Kind, rough people are furry. All blue people are furry.
Harry is quiet.
@0: Charlie is blue.[(triple1 OR ((triple3 triple6) -> rule4) OR ((triple6 triple7) -> rule1) OR ((triple3 ((triple2) -> rule2)) -> rule4) OR ((triple3 ((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule2) triple7) -> rule1) OR ((((triple2) -> rule5) triple7) -> rule1) OR ((((triple4 triple7) -> rule7) triple6) -> rule4) OR ((((triple4 triple7) -> rule7) ((triple2) -> rule2)) -> rule4) OR ((((triple4 triple7) -> rule7) ((triple2) -> rule5)) -> rule4))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple1) -> rule8) OR ((triple4 triple7) -> rule7) OR ((((triple6 triple7) -> rule1)) -> rule8) OR ((((((triple2) -> rule2) triple7) -> rule1)) -> rule8) OR ((((((triple2) -> rule5) triple7) -> rule1)) -> rule8))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple6) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Charlie is quiet.[(triple6 OR ((triple2) -> rule2) OR ((triple2) -> rule5))] Charlie is rough.[(triple7)] Harry is cold.[(triple8)] Harry is nice.[(triple9 OR ((((triple8) -> rule2)) -> rule6) OR ((((triple8) -> rule5)) -> rule6))] Harry is rough.[(triple10)] @1: Harry is quiet.[(((triple8) -> rule2) OR ((triple8) -> rule5))] @2: Harry is blue.[(((((triple8) -> rule2) triple10) -> rule1) OR ((((triple8) -> rule5) triple10) -> rule1))] @3: Harry is furry.[(((((((triple8) -> rule2) triple10) -> rule1)) -> rule8) OR ((((((triple8) -> rule5) triple10) -> rule1)) -> rule8))]