Bob is nice. Bob is smart. Fiona is cold. Nice things are big. If something is big then it is smart. All smart things are red. If something is nice then it is furry. If something is nice and big then it is furry. If something is smart and cold then it is green. If Fiona is cold and Fiona is red then Fiona is furry. If Fiona is furry then Fiona is smart.
Fiona is not cold.
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2 OR ((((triple1) -> rule1)) -> rule2))] Fiona is cold.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))] Bob is furry.[(((triple1) -> rule4) OR ((triple1 ((triple1) -> rule1)) -> rule5))] Bob is red.[(((triple2) -> rule3) OR ((((((triple1) -> rule1)) -> rule2)) -> rule3))]