Bob is blue. Erin is blue. Erin is cold. Erin is nice. Erin is smart. Fiona is cold. Fiona is smart. Fiona is young. Harry is big. Harry is cold. Young people are cold. If Fiona is furry then Fiona is big. If Fiona is cold and Fiona is smart then Fiona is furry. If Erin is furry then Erin is smart. If someone is smart then they are cold. If someone is smart then they are cold.
Bob is not cold.
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple5) -> rule5) OR ((triple5) -> rule6))] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Fiona is cold.[(triple6 OR ((triple7) -> rule5) OR ((triple7) -> rule6) OR ((triple8) -> rule1))] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Fiona is furry.[(((triple6 triple7) -> rule3) OR ((((triple7) -> rule5) triple7) -> rule3) OR ((((triple7) -> rule6) triple7) -> rule3) OR ((((triple8) -> rule1) triple7) -> rule3))] @2: Fiona is big.[(((((triple6 triple7) -> rule3)) -> rule2) OR ((((((triple7) -> rule5) triple7) -> rule3)) -> rule2) OR ((((((triple7) -> rule6) triple7) -> rule3)) -> rule2) OR ((((((triple8) -> rule1) triple7) -> rule3)) -> rule2))]