Charlie is big. Charlie is cold. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is red. Dave is rough. Dave is smart. Dave is white. Fiona is big. Fiona is rough. If someone is red then they are cold. All white people are smart. All red people are furry.
Dave is not cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple3) -> rule1))] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple6) -> rule2))] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8 OR ((triple10) -> rule1))] Dave is furry.[(triple9 OR ((triple10) -> rule3))] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is smart.[(triple12 OR ((triple13) -> rule2))] Dave is white.[(triple13)] Fiona is big.[(triple14)] Fiona is rough.[(triple15)] @1: Charlie is furry.[(((triple3) -> rule3))]