Bob is cold. Bob is green. Bob is nice. Dave is not nice. Fiona is big. Fiona is furry. Fiona is rough. Harry is furry. Harry is nice. Harry is quiet. If something is nice and cold then it is green. If Harry is nice and Harry is furry then Harry is cold.
Harry is cold.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple3 triple1) -> rule1))] Bob is nice.[(triple3)] Dave is not nice.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is rough.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is cold.[(((triple9 triple8) -> rule2))] @2: Harry is green.[(((triple9 ((triple9 triple8) -> rule2)) -> rule1))]