Dave is cold. Dave is nice. Dave is quiet. Dave is round. Dave is white. Erin is quiet. Erin is rough. Erin is round. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. All round, quiet things are white. All rough, white things are nice. If something is round and nice then it is cold.
Dave is not young.
@0: Dave is cold.[(triple1 OR ((triple4 triple2) -> rule3))] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5 OR ((triple4 triple3) -> rule1))] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Fiona is cold.[(triple9 OR ((triple13 triple10) -> rule3) OR ((triple13 ((triple12 triple14) -> rule2)) -> rule3) OR ((triple13 ((triple12 ((triple13 triple11) -> rule1)) -> rule2)) -> rule3))] Fiona is nice.[(triple10 OR ((triple12 triple14) -> rule2) OR ((triple12 ((triple13 triple11) -> rule1)) -> rule2))] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((triple13 triple11) -> rule1))] Fiona is young.[(triple15)] @1: Erin is white.[(((triple8 triple6) -> rule1))] @2: Erin is nice.[(((triple7 ((triple8 triple6) -> rule1)) -> rule2))] @3: Erin is cold.[(((triple8 ((triple7 ((triple8 triple6) -> rule1)) -> rule2)) -> rule3))]