Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is white. Fiona is young. Big, white people are furry. Smart, kind people are furry. Cold people are white.
Fiona is not smart.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple1 triple6) -> rule1) OR ((triple5 triple4) -> rule2) OR ((triple1 ((triple2) -> rule3)) -> rule1))] Charlie is kind.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple2) -> rule3))] Charlie is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple12 triple11) -> rule2) OR ((triple8 triple13) -> rule1) OR ((triple8 ((triple9) -> rule3)) -> rule1))] Fiona is kind.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple9) -> rule3))] Fiona is young.[(triple14)]