Anne is cold. Anne is not rough. Dave is big. Dave is green. Dave is kind. Dave is rough. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is cold. Fiona is green. Fiona is smart. All red, green things are big.
Fiona is red.
@0: Anne is cold.[(triple1)] Anne is not rough.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Fiona is big.[(triple13)] Fiona is cold.[(triple14)] Fiona is green.[(triple15)] Fiona is smart.[(triple16)] @1: Erin is big.[(((triple10 triple8) -> rule1))]