Bob is not blue. Bob is not nice. Bob is round. Dave is big. Dave is cold. Dave is kind. Fiona is big. Fiona is not blue. Fiona is cold. Fiona is not kind. Fiona is nice. Fiona is quiet. Blue things are not round. Nice, kind things are blue. All big things are nice.
Dave is nice.
@0: Bob is not blue.[(triple1)] Bob is not nice.[(triple2)] Bob is round.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple9)] Fiona is nice.[(triple11 OR ((triple7) -> rule3))] Fiona is not blue.[(triple8)] Fiona is not kind.[(triple10)] Fiona is quiet.[(triple12)] @1: Dave is nice.[(((triple4) -> rule3))] @2: Dave is blue.[(((((triple4) -> rule3) triple6) -> rule2))] @3: Dave is not round.[(((((((triple4) -> rule3) triple6) -> rule2)) -> rule1))]