Dave is blue. Dave is quiet. Dave is smart. Erin is blue. Erin is cold. Erin is kind. Erin is round. Erin is smart. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Cold, blue things are round. If something is round and kind then it is smart.
Fiona is not round.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7 OR ((triple5 triple4) -> rule1))] Erin is smart.[(triple8 OR ((triple7 triple6) -> rule2) OR ((((triple5 triple4) -> rule1) triple6) -> rule2))] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] @1: Fiona is round.[(((triple10 triple9) -> rule1))] @2: Fiona is smart.[(((((triple10 triple9) -> rule1) triple11) -> rule2))]