Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is white. If something is furry then it is big. Furry things are nice.
Fiona is not green.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5 OR ((triple3) -> rule2))] Charlie is white.[(triple6)] Fiona is big.[(triple7 OR ((triple9) -> rule1))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11 OR ((triple9) -> rule2))] Fiona is white.[(triple12)]