Dave is blue. Dave is nice. Dave is white. Fiona is kind. Gary is blue. Gary is nice. Harry is cold. All kind things are white. Cold things are furry. All blue, young things are furry. All blue things are cold. If something is furry then it is white. Nice things are kind.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3 OR ((((triple2) -> rule6)) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule5))] Fiona is kind.[(triple4)] Gary is blue.[(triple5)] Gary is nice.[(triple6)] Harry is cold.[(triple7)] @1: Dave is cold.[(((triple1) -> rule4))] Dave is kind.[(((triple2) -> rule6))] Fiona is white.[(((triple4) -> rule1))] Gary is cold.[(((triple5) -> rule4))] Gary is kind.[(((triple6) -> rule6))] Harry is furry.[(((triple7) -> rule2))] @2: Dave is furry.[(((((triple1) -> rule4)) -> rule2))] Gary is furry.[(((((triple5) -> rule4)) -> rule2))] Gary is white.[(((((triple6) -> rule6)) -> rule1) OR ((((((triple5) -> rule4)) -> rule2)) -> rule5))] Harry is white.[(((((triple7) -> rule2)) -> rule5))]