Bob is nice. Bob is red. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If something is round and nice then it is cold.
Fiona is not round.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4 OR ((triple8 triple5) -> rule1))] Erin is nice.[(triple5)] Erin is quiet.[(triple6)] Erin is red.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple15 triple12) -> rule1))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] Fiona is smart.[(triple16)]