Bob is cold. Bob is green. Bob is round. Fiona is cold. Fiona is green. Fiona is kind. Fiona is young. All blue things are cold. Rough things are cold. Round, green things are rough.
Fiona is not kind.
@0: Bob is cold.[(triple1 OR ((((triple3 triple2) -> rule3)) -> rule2))] Bob is green.[(triple2)] Bob is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is young.[(triple7)] @1: Bob is rough.[(((triple3 triple2) -> rule3))]