Anne is cold. Anne is green. Bob is quiet. Dave is furry. Dave is green. Dave is red. Gary is cold. All cold, rough things are furry. All green, red things are furry. Cold, red things are green. Cold things are quiet. Big, cold things are rough. If something is quiet then it is rough. If Bob is rough then Bob is furry. All furry, quiet things are red.
Bob is not green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1 ((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule8)) -> rule3))] Bob is quiet.[(triple3)] Dave is furry.[(triple4 OR ((triple5 triple6) -> rule2))] Dave is green.[(triple5)] Dave is red.[(triple6)] Gary is cold.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule4))] Bob is rough.[(((triple3) -> rule6))] Gary is quiet.[(((triple7) -> rule4))] @2: Anne is rough.[(((((triple1) -> rule4)) -> rule6))] Bob is furry.[(((((triple3) -> rule6)) -> rule7))] Gary is rough.[(((((triple7) -> rule4)) -> rule6))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule1))] Bob is red.[(((((((triple3) -> rule6)) -> rule7) triple3) -> rule8))] Gary is furry.[(((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule1))] @4: Anne is red.[(((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule4)) -> rule8))] Gary is red.[(((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule1) ((triple7) -> rule4)) -> rule8))] @5: Gary is green.[(((triple7 ((((triple7 ((((triple7) -> rule4)) -> rule6)) -> rule1) ((triple7) -> rule4)) -> rule8)) -> rule3))]