Charlie is big. Charlie is blue. Charlie is cold. Dave is big. Dave is blue. Dave is cold. Dave is not kind. Dave is not young. Erin is quiet. Fiona is cold. All blue, young people are big. All big people are blue. If someone is young and not big then they are cold. If someone is big and not kind then they are cold. Blue, young people are cold. If Dave is young and Dave is not cold then Dave is green.
Fiona is quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple1) -> rule2))] Charlie is cold.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((triple4) -> rule2))] Dave is cold.[(triple6 OR ((triple4 triple7) -> rule4))] Dave is not kind.[(triple7)] Dave is not young.[(triple8)] Erin is quiet.[(triple9)] Fiona is cold.[(triple10)]