Anne is furry. Anne is not nice. Anne is round. Anne is smart. Dave is not cold. Dave is furry. Dave is nice. Dave is rough. Dave is round. Dave is smart. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Rough things are smart. If something is rough and smart then it is nice. Nice, smart things are young. Young things are round. If Dave is cold then Dave is young. If something is nice and not round then it is furry.
Anne is cold.
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Dave is furry.[(triple6)] Dave is nice.[(triple7 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] Dave is not cold.[(triple5)] Dave is rough.[(triple8)] Dave is round.[(triple9 OR ((((triple7 triple10) -> rule3)) -> rule4) OR ((((triple7 ((triple8) -> rule1)) -> rule3)) -> rule4) OR ((((((triple8 triple10) -> rule2) triple10) -> rule3)) -> rule4) OR ((((((triple8 triple10) -> rule2) ((triple8) -> rule1)) -> rule3)) -> rule4) OR ((((((triple8 ((triple8) -> rule1)) -> rule2) triple10) -> rule3)) -> rule4) OR ((((((triple8 ((triple8) -> rule1)) -> rule2) ((triple8) -> rule1)) -> rule3)) -> rule4))] Dave is smart.[(triple10 OR ((triple8) -> rule1))] Fiona is nice.[(triple11 OR ((triple12 triple14) -> rule2) OR ((triple12 ((triple12) -> rule1)) -> rule2))] Fiona is rough.[(triple12)] Fiona is round.[(triple13 OR ((triple15) -> rule4) OR ((((triple11 triple14) -> rule3)) -> rule4) OR ((((triple11 ((triple12) -> rule1)) -> rule3)) -> rule4) OR ((((((triple12 triple14) -> rule2) triple14) -> rule3)) -> rule4) OR ((((((triple12 triple14) -> rule2) ((triple12) -> rule1)) -> rule3)) -> rule4) OR ((((((triple12 ((triple12) -> rule1)) -> rule2) triple14) -> rule3)) -> rule4) OR ((((((triple12 ((triple12) -> rule1)) -> rule2) ((triple12) -> rule1)) -> rule3)) -> rule4))] Fiona is smart.[(triple14 OR ((triple12) -> rule1))] Fiona is young.[(triple15 OR ((triple11 triple14) -> rule3) OR ((triple11 ((triple12) -> rule1)) -> rule3) OR ((((triple12 triple14) -> rule2) triple14) -> rule3) OR ((((triple12 triple14) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((triple12 ((triple12) -> rule1)) -> rule2) triple14) -> rule3) OR ((((triple12 ((triple12) -> rule1)) -> rule2) ((triple12) -> rule1)) -> rule3))] @1: Dave is young.[(((triple7 triple10) -> rule3) OR ((triple7 ((triple8) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule2) triple10) -> rule3) OR ((((triple8 triple10) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple8 ((triple8) -> rule1)) -> rule2) triple10) -> rule3) OR ((((triple8 ((triple8) -> rule1)) -> rule2) ((triple8) -> rule1)) -> rule3))]