Dave is big. Dave is kind. Erin is white. Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. All blue, kind things are young. All big things are nice. If Erin is blue and Erin is white then Erin is big. If something is big and white then it is blue. If something is kind and young then it is blue. Big, white things are blue.
Erin is not blue.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Erin is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple4 triple9) -> rule4) OR ((triple4 triple9) -> rule6) OR ((triple6 triple10) -> rule5))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7 OR ((triple4) -> rule2))] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple5 triple6) -> rule1) OR ((((triple4 triple9) -> rule4) triple6) -> rule1) OR ((((triple4 triple9) -> rule6) triple6) -> rule1))] @1: Dave is nice.[(((triple1) -> rule2))]