Charlie is big. Charlie is cold. Charlie is furry. Charlie is smart. Dave is cold. Dave is kind. Fiona is big. Fiona is green. Fiona is kind. Fiona is smart. Green, cold people are furry. If someone is smart then they are kind. If someone is green and cold then they are big.
Fiona is cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is smart.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule2))] Fiona is smart.[(triple10)] @1: Charlie is kind.[(((triple4) -> rule2))]