Bob is cold. Bob is kind. Bob is round. Fiona is cold. Fiona is green. Fiona is round. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is nice. All green, round things are kind. If something is cold then it is green. If something is big and cold then it is furry.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((((triple1) -> rule2) triple3) -> rule1))] Bob is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5 OR ((triple4) -> rule2))] Fiona is round.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple7 triple8) -> rule3))] Harry is green.[(triple10 OR ((triple8) -> rule2))] Harry is kind.[(triple11)] Harry is nice.[(triple12)] @1: Bob is green.[(((triple1) -> rule2))] Fiona is kind.[(((triple5 triple6) -> rule1) OR ((((triple4) -> rule2) triple6) -> rule1))]