Charlie is nice. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is smart. Fiona is cold. Fiona is green. Fiona is red. Fiona is smart. Harry is blue. Harry is cold. Harry is red. Harry is smart. If something is cold and nice then it is green. If Erin is furry then Erin is cold. If something is nice and red then it is furry. If Charlie is smart then Charlie is green. If Fiona is blue and Fiona is smart then Fiona is cold. All cold, red things are furry.
Charlie is smart.
@0: Charlie is nice.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((((triple5 triple6) -> rule3)) -> rule2))] Erin is green.[(triple4 OR ((triple3 triple5) -> rule1) OR ((((((triple5 triple6) -> rule3)) -> rule2) triple5) -> rule1))] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Erin is furry.[(((triple3 triple6) -> rule6) OR ((triple5 triple6) -> rule3))] Fiona is furry.[(((triple8 triple10) -> rule6))] Harry is furry.[(((triple13 triple14) -> rule6))]