Fiona is red. Gary is big. Harry is big. Harry is cold. Harry is nice. Harry is smart. Harry is young. Big people are red. All smart people are cold. If someone is furry and nice then they are red. If someone is nice then they are smart. Furry, red people are cold. If someone is young then they are cold. All furry, nice people are red. If Fiona is red then Fiona is nice.
Harry is not red.
@0: Fiona is red.[(triple1)] Gary is big.[(triple2)] Harry is big.[(triple3)] Harry is cold.[(triple4 OR ((triple6) -> rule2) OR ((triple7) -> rule6) OR ((((triple5) -> rule4)) -> rule2))] Harry is nice.[(triple5)] Harry is smart.[(triple6 OR ((triple5) -> rule4))] Harry is young.[(triple7)] @1: Fiona is nice.[(((triple1) -> rule8))] Gary is red.[(((triple2) -> rule1))] Harry is red.[(((triple3) -> rule1))] @2: Fiona is smart.[(((((triple1) -> rule8)) -> rule4))] @3: Fiona is cold.[(((((((triple1) -> rule8)) -> rule4)) -> rule2))]