Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Gary is cold. Gary is green. Gary is quiet. If something is quiet then it is red. Cold, quiet things are rough. Rough things are furry. Quiet things are cold. All cold, nice things are rough. Furry, green things are nice.
Gary is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule3) OR ((((triple1 triple4) -> rule5)) -> rule3))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple2 triple3) -> rule6) OR ((((triple5) -> rule3) triple3) -> rule6))] Bob is rough.[(triple5 OR ((triple1 triple4) -> rule5) OR ((triple1 ((triple2 triple3) -> rule6)) -> rule5))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8 OR ((triple7) -> rule1))] Dave is rough.[(triple9 OR ((((triple7) -> rule4) triple6) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule2))] Gary is cold.[(triple10 OR ((triple12) -> rule4))] Gary is green.[(triple11)] Gary is quiet.[(triple12)] @1: Dave is cold.[(((triple7) -> rule4))] Dave is furry.[(((triple9) -> rule3) OR ((((((triple7) -> rule4) triple6) -> rule5)) -> rule3) OR ((((((triple7) -> rule4) triple7) -> rule2)) -> rule3))] Gary is red.[(((triple12) -> rule1))] Gary is rough.[(((triple10 triple12) -> rule2) OR ((((triple12) -> rule4) triple12) -> rule2))] @2: Gary is furry.[(((((triple10 triple12) -> rule2)) -> rule3) OR ((((((triple12) -> rule4) triple12) -> rule2)) -> rule3))] @3: Gary is nice.[(((((((triple10 triple12) -> rule2)) -> rule3) triple11) -> rule6) OR ((((((((triple12) -> rule4) triple12) -> rule2)) -> rule3) triple11) -> rule6))]