Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is young. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is young. Harry is green. Harry is quiet. Harry is red. If someone is kind and furry then they are cold. Cold, green people are young. If someone is young and green then they are cold. If someone is young and quiet then they are kind. All red, green people are cold. If someone is red then they are furry.
Harry is kind.
@0: Charlie is cold.[(triple1 OR ((triple4 triple2) -> rule1) OR ((triple6 triple3) -> rule5) OR ((triple7 triple3) -> rule3) OR ((triple4 ((triple6) -> rule6)) -> rule1) OR ((((triple7 triple5) -> rule4) triple2) -> rule1) OR ((((triple7 triple5) -> rule4) ((triple6) -> rule6)) -> rule1))] Charlie is furry.[(triple2 OR ((triple6) -> rule6))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple7 triple5) -> rule4) OR ((((triple1 triple3) -> rule2) triple5) -> rule4) OR ((((((triple6 triple3) -> rule5) triple3) -> rule2) triple5) -> rule4))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7 OR ((triple1 triple3) -> rule2) OR ((((triple4 triple2) -> rule1) triple3) -> rule2) OR ((((triple6 triple3) -> rule5) triple3) -> rule2) OR ((((triple4 ((triple6) -> rule6)) -> rule1) triple3) -> rule2))] Fiona is cold.[(triple8 OR ((triple11 triple9) -> rule1) OR ((triple13 triple10) -> rule3) OR ((((triple13 triple12) -> rule4) triple9) -> rule1))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11 OR ((triple13 triple12) -> rule4) OR ((((triple8 triple10) -> rule2) triple12) -> rule4))] Fiona is quiet.[(triple12)] Fiona is young.[(triple13 OR ((triple8 triple10) -> rule2) OR ((((triple11 triple9) -> rule1) triple10) -> rule2))] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Harry is cold.[(((triple16 triple14) -> rule5))] Harry is furry.[(((triple16) -> rule6))] @2: Harry is young.[(((((triple16 triple14) -> rule5) triple14) -> rule2))] @3: Harry is kind.[(((((((triple16 triple14) -> rule5) triple14) -> rule2) triple15) -> rule4))]