Anne is smart. Bob is kind. Bob is nice. Bob is round. Bob is white. Fiona is big. Fiona is cold. Fiona is nice. Fiona is round. Fiona is smart. Nice, kind things are cold. Kind, cold things are smart.
Fiona is cold.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is cold.[(((triple3 triple2) -> rule1))] @2: Bob is smart.[(((triple2 ((triple3 triple2) -> rule1)) -> rule2))]