Dave is green. Dave is kind. Dave is smart. Erin is cold. Erin is not green. Erin is kind. Erin is red. Fiona is big. Fiona is cold. Fiona is green. Fiona is not red. Fiona is smart. If something is blue then it is green. Green things are blue.
Fiona is big.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is smart.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple6)] Erin is not green.[(triple5)] Erin is red.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is not red.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is blue.[(((triple1) -> rule2))] Fiona is blue.[(((triple10) -> rule2))]