Anne is red. Dave is cold. Gary is furry. Big things are blue. Red things are white. Red, nice things are white. Furry things are white. All blue, big things are red. If something is cold then it is white. All big things are nice. All cold things are big.
Anne is not big.
@0: Anne is red.[(triple1)] Dave is cold.[(triple2)] Gary is furry.[(triple3)] @1: Anne is white.[(((triple1) -> rule2))] Dave is big.[(((triple2) -> rule8))] Dave is white.[(((triple2) -> rule6) OR ((((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule7)) -> rule3))] Gary is white.[(((triple3) -> rule4))] @2: Dave is blue.[(((((triple2) -> rule8)) -> rule1))] Dave is nice.[(((((triple2) -> rule8)) -> rule7))] @3: Dave is red.[(((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule5))]