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