Charlie is cold. Charlie is furry. Dave is cold. Dave is furry. Dave is young. Fiona is blue. Fiona is cold. Fiona is furry. Harry is blue. Harry is furry. Harry is green. Harry is young. If someone is young and smart then they are cold. If Harry is furry then Harry is cold. If someone is furry and cold then they are blue. Smart people are young. Smart people are green. If Dave is smart then Dave is blue.
Charlie is cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is young.[(triple5)] Fiona is blue.[(triple6 OR ((triple8 triple7) -> rule3))] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Harry is blue.[(triple9 OR ((triple10 ((triple10) -> rule2)) -> rule3))] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is young.[(triple12)] @1: Charlie is blue.[(((triple2 triple1) -> rule3))] Dave is blue.[(((triple4 triple3) -> rule3))] Harry is cold.[(((triple10) -> rule2))]