Bob is cold. Bob is furry. Bob is nice. Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Erin is cold. If Erin is green then Erin is quiet. If Bob is big then Bob is green. All green, big people are nice. If someone is nice and green then they are quiet. All quiet people are green. If Bob is cold then Bob is green.
Bob is quiet.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6 OR ((triple8) -> rule5))] Dave is nice.[(triple7 OR ((triple6 triple4) -> rule3) OR ((((triple8) -> rule5) triple4) -> rule3))] Dave is quiet.[(triple8 OR ((triple7 triple6) -> rule4) OR ((((triple6 triple4) -> rule3) triple6) -> rule4))] Dave is rough.[(triple9)] Erin is cold.[(triple10)] @1: Bob is green.[(((triple1) -> rule6))] @2: Bob is quiet.[(((triple3 ((triple1) -> rule6)) -> rule4))]