Anne is big. Anne is cold. Anne is kind. Dave is kind. Dave is red. Dave is young. Gary is big. Gary is cold. Gary is kind. Gary is smart. If Anne is cold and Anne is big then Anne is red. If someone is furry then they are kind. Furry, cold people are smart. If Anne is kind then Anne is young. Kind, young people are big. Young, kind people are smart.
Dave is not red.
@0: Anne is big.[(triple1 OR ((triple3 ((triple3) -> rule4)) -> rule5))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Anne is red.[(((triple2 triple1) -> rule1) OR ((triple2 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule1))] Anne is young.[(((triple3) -> rule4))] Dave is big.[(((triple4 triple6) -> rule5))] Dave is smart.[(((triple6 triple4) -> rule6))] @2: Anne is smart.[(((((triple3) -> rule4) triple3) -> rule6))]