Dave is cold. Dave is smart. Erin is cold. Erin is kind. Erin is not nice. Erin is round. Fiona is green. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is not smart. Cold, round people are red. All smart people are red. If Fiona is not smart then Fiona is not cold. If Dave is smart then Dave is nice. If Erin is red then Erin is not green. If someone is green and cold then they are nice.
Fiona is cold.
@0: Dave is cold.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Erin is round.[(triple6)] Fiona is green.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13 OR ((triple11 triple10) -> rule6))] Gary is not smart.[(triple15)] Gary is round.[(triple14)] @1: Dave is nice.[(((triple2) -> rule4))] Dave is red.[(((triple2) -> rule2))] Erin is red.[(((triple3 triple6) -> rule1))] Fiona is red.[(((triple9) -> rule2))] Gary is red.[(((triple10 triple14) -> rule1))] @2: Erin is not green.[(((((triple3 triple6) -> rule1)) -> rule5))]