Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. If someone is young and quiet then they are cold. All smart, big people are white.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple7 triple4) -> rule1))] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple5 triple1) -> rule2))] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple14 triple11) -> rule1))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple12 triple8) -> rule2))] Fiona is young.[(triple14)]