Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is young. Erin is green. Gary is cold. Gary is furry. Gary is quiet. Gary is young. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is quiet. All green, young things are furry. All furry, young things are rough. If Bob is cold then Bob is nice.
Erin is green.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple6) -> rule1))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple1) -> rule3))] Bob is quiet.[(triple5)] Bob is young.[(triple6)] Erin is green.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is quiet.[(triple16)] @1: Bob is rough.[(((triple2 triple6) -> rule2) OR ((((triple3 triple6) -> rule1) triple6) -> rule2))] Gary is rough.[(((triple9 triple11) -> rule2))]