Anne is cold. Anne is nice. Anne is red. Anne is white. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is white. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is white. Gary is young. If Gary is white and Gary is cold then Gary is young. Quiet, cold people are red. Young people are quiet. All cold people are smart. Young, white people are quiet. If someone is white and smart then they are young.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((((((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3) triple1) -> rule2) OR ((((((triple4 ((triple1) -> rule4)) -> rule6) triple4) -> rule5) triple1) -> rule2))] Anne is white.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7 OR ((((triple9 ((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple9 ((triple5) -> rule4)) -> rule6) triple9) -> rule5))] Dave is red.[(triple8 OR ((triple7 triple5) -> rule2) OR ((((((triple9 ((triple5) -> rule4)) -> rule6)) -> rule3) triple5) -> rule2) OR ((((((triple9 ((triple5) -> rule4)) -> rule6) triple9) -> rule5) triple5) -> rule2))] Dave is white.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12 OR ((triple16) -> rule3) OR ((triple16 triple15) -> rule5) OR ((((triple15 triple10) -> rule1)) -> rule3) OR ((((triple15 triple14) -> rule6)) -> rule3) OR ((((triple15 triple10) -> rule1) triple15) -> rule5) OR ((((triple15 triple14) -> rule6) triple15) -> rule5) OR ((((triple15 ((triple10) -> rule4)) -> rule6)) -> rule3) OR ((((triple15 ((triple10) -> rule4)) -> rule6) triple15) -> rule5))] Gary is red.[(triple13 OR ((triple12 triple10) -> rule2) OR ((((triple16) -> rule3) triple10) -> rule2) OR ((((triple16 triple15) -> rule5) triple10) -> rule2) OR ((((((triple15 triple10) -> rule1)) -> rule3) triple10) -> rule2) OR ((((((triple15 triple14) -> rule6)) -> rule3) triple10) -> rule2) OR ((((((triple15 triple10) -> rule1) triple15) -> rule5) triple10) -> rule2) OR ((((((triple15 triple14) -> rule6) triple15) -> rule5) triple10) -> rule2) OR ((((((triple15 ((triple10) -> rule4)) -> rule6)) -> rule3) triple10) -> rule2) OR ((((((triple15 ((triple10) -> rule4)) -> rule6) triple15) -> rule5) triple10) -> rule2))] Gary is smart.[(triple14 OR ((triple10) -> rule4))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple15 triple10) -> rule1) OR ((triple15 triple14) -> rule6) OR ((triple15 ((triple10) -> rule4)) -> rule6))] @1: Anne is smart.[(((triple1) -> rule4))] Dave is smart.[(((triple5) -> rule4))] @2: Anne is young.[(((triple4 ((triple1) -> rule4)) -> rule6))] Dave is young.[(((triple9 ((triple5) -> rule4)) -> rule6))] @3: Anne is quiet.[(((((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple4 ((triple1) -> rule4)) -> rule6) triple4) -> rule5))]