Anne is blue. Anne is smart. Anne is young. Bob is kind. Dave is white. Dave is young. Gary is blue. All blue things are young. All kind things are blue. Smart things are blue. White, young things are not kind. Young things are smart. If Bob is cold and Bob is big then Bob is white.
Anne is cold.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Anne is smart.[(triple2 OR ((triple3) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Anne is young.[(triple3 OR ((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Bob is kind.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Gary is blue.[(triple7)] @1: Bob is blue.[(((triple4) -> rule2))] Dave is not kind.[(((triple5 triple6) -> rule4))] Dave is smart.[(((triple6) -> rule5))] Gary is young.[(((triple7) -> rule1))] @2: Bob is young.[(((((triple4) -> rule2)) -> rule1))] Dave is blue.[(((((triple6) -> rule5)) -> rule3))] Gary is smart.[(((((triple7) -> rule1)) -> rule5))] @3: Bob is smart.[(((((((triple4) -> rule2)) -> rule1)) -> rule5))]