Bob is big. Bob is blue. Bob is cold. Bob is smart. Fiona is cold. Fiona is furry. Fiona is smart. If something is smart and cold then it is big. If Fiona is young and Fiona is smart then Fiona is big. If something is big then it is blue.
Fiona is not big.
@0: Bob is big.[(triple1 OR ((triple4 triple3) -> rule1))] Bob is blue.[(triple2 OR ((triple1) -> rule3) OR ((((triple4 triple3) -> rule1)) -> rule3))] Bob is cold.[(triple3)] Bob is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is big.[(((triple7 triple5) -> rule1))] @2: Fiona is blue.[(((((triple7 triple5) -> rule1)) -> rule3))]