Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Dave is furry. Gary is green. Gary is rough. All rough, green people are cold. If someone is nice then they are red. All cold people are nice.
Dave is cold.
@0: Bob is cold.[(triple1 OR ((triple7 triple3) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple1) -> rule3) OR ((((triple7 triple3) -> rule1)) -> rule3))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((((triple7 triple3) -> rule1)) -> rule3)) -> rule2))] Bob is rough.[(triple7)] Dave is furry.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)] @1: Gary is cold.[(((triple10 triple9) -> rule1))] @2: Gary is nice.[(((((triple10 triple9) -> rule1)) -> rule3))] @3: Gary is red.[(((((((triple10 triple9) -> rule1)) -> rule3)) -> rule2))]