Dave is blue. Dave is kind. Dave is red. Dave is rough. Dave is smart. Dave is white. Dave is young. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Blue, smart people are white. If Dave is young and Dave is red then Dave is kind. If Fiona is smart then Fiona is white.
Dave is kind.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2 OR ((triple7 triple3) -> rule2))] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple1 triple5) -> rule1))] Dave is young.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is white.[(((triple11) -> rule3))]