Anne is green. Anne is quiet. Anne is young. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. All green, quiet things are red. If something is red then it is young. If something is rough and blue then it is quiet. If something is quiet then it is blue. All blue, quiet things are rough. All cold, young things are green. All red things are green. If Anne is young and Anne is rough then Anne is cold.
Anne is not cold.
@0: Anne is green.[(triple1 OR ((((triple3 ((((triple2) -> rule4) triple2) -> rule5)) -> rule8) triple3) -> rule6))] Anne is quiet.[(triple2)] Anne is young.[(triple3 OR ((((triple1 triple2) -> rule1)) -> rule2))] Dave is blue.[(triple4 OR ((triple7) -> rule4))] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is quiet.[(triple7 OR ((triple8 triple4) -> rule3))] Dave is rough.[(triple8 OR ((triple4 triple7) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule5))] Fiona is blue.[(triple9 OR ((triple12) -> rule4))] Fiona is cold.[(triple10)] Fiona is green.[(triple11 OR ((triple13) -> rule7) OR ((triple10 triple15) -> rule6) OR ((triple10 ((triple13) -> rule2)) -> rule6))] Fiona is quiet.[(triple12 OR ((triple14 triple9) -> rule3))] Fiona is red.[(triple13 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple14 triple9) -> rule3)) -> rule1) OR ((((triple10 triple15) -> rule6) triple12) -> rule1) OR ((((triple10 triple15) -> rule6) ((triple14 triple9) -> rule3)) -> rule1))] Fiona is rough.[(triple14 OR ((triple9 triple12) -> rule5) OR ((((triple12) -> rule4) triple12) -> rule5))] Fiona is young.[(triple15 OR ((triple13) -> rule2) OR ((((triple11 triple12) -> rule1)) -> rule2) OR ((((triple11 ((triple14 triple9) -> rule3)) -> rule1)) -> rule2))] @1: Anne is blue.[(((triple2) -> rule4))] Anne is red.[(((triple1 triple2) -> rule1) OR ((((((triple3 ((((triple2) -> rule4) triple2) -> rule5)) -> rule8) triple3) -> rule6) triple2) -> rule1))] Dave is red.[(((triple6 triple7) -> rule1) OR ((triple6 ((triple8 triple4) -> rule3)) -> rule1))] @2: Anne is rough.[(((((triple2) -> rule4) triple2) -> rule5))] Dave is young.[(((((triple6 triple7) -> rule1)) -> rule2) OR ((((triple6 ((triple8 triple4) -> rule3)) -> rule1)) -> rule2))] @3: Anne is cold.[(((triple3 ((((triple2) -> rule4) triple2) -> rule5)) -> rule8) OR ((((((triple1 triple2) -> rule1)) -> rule2) ((((triple2) -> rule4) triple2) -> rule5)) -> rule8))]