Bob is big. Bob is blue. Bob is green. Bob is not kind. Charlie is nice. Fiona is blue. Fiona is kind. All nice things are blue. If something is kind and green then it is blue. If something is smart and not big then it is not blue. Cold things are not blue. All cold things are not kind. Blue, nice things are not kind. If Fiona is not smart then Fiona is nice. Blue things are not cold.
Fiona is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is not kind.[(triple4)] Charlie is nice.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] @1: Bob is not cold.[(((triple2) -> rule8))] Charlie is blue.[(((triple5) -> rule1))] Fiona is not cold.[(((triple6) -> rule8))] @2: Charlie is not cold.[(((((triple5) -> rule1)) -> rule8))] Charlie is not kind.[(((((triple5) -> rule1) triple5) -> rule6))]