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