Dave is blue. Dave is furry. Erin is blue. Erin is furry. Erin is nice. Erin is smart. Fiona is big. Fiona is kind. Fiona is nice. Fiona is smart. Big, kind people are smart. If someone is young and furry then they are kind. Big, nice people are blue. If someone is young then they are nice. If someone is young and kind then they are nice. Furry, young people are big.
Fiona is not blue.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10 OR ((triple7 triple8) -> rule1))] @1: Fiona is blue.[(((triple7 triple9) -> rule3))]