Anne is big. Anne is blue. Anne is kind. Anne is not round. Anne is white. Anne is young. Dave is big. Dave is kind. Dave is round. Dave is white. Fiona is big. Fiona is not blue. Fiona is kind. Fiona is red. Fiona is white. If someone is blue and not kind then they are not young. Kind people are young. All red, young people are white.
Dave is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is not round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple3) -> rule2))] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] Fiona is big.[(triple11)] Fiona is kind.[(triple13)] Fiona is not blue.[(triple12)] Fiona is red.[(triple14)] Fiona is white.[(triple15 OR ((triple14 ((triple13) -> rule2)) -> rule3))] @1: Dave is young.[(((triple8) -> rule2))] Fiona is young.[(((triple13) -> rule2))]