Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is white. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is red. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. If Dave is nice then Dave is kind. Nice people are blue. If Dave is big and Dave is blue then Dave is white.
Dave is white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9 OR ((triple10) -> rule1))] Dave is nice.[(triple10)] Dave is red.[(triple11)] Fiona is big.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)] @1: Dave is blue.[(((triple10) -> rule2))] Fiona is blue.[(((triple14) -> rule2))] @2: Dave is white.[(((triple7 ((triple10) -> rule2)) -> rule3))]