Dave is nice. Erin is kind. Erin is round. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. Gary is blue. Gary is nice. Gary is round. Nice people are round. If someone is round and kind then they are nice. If Dave is round then Dave is kind. All rough people are round. If Dave is young and Dave is kind then Dave is round. All kind people are white.
Dave is not kind.
@0: Dave is nice.[(triple1)] Erin is kind.[(triple2)] Erin is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6 OR ((((triple7) -> rule4) triple5) -> rule2))] Fiona is rough.[(triple7)] Fiona is white.[(triple8 OR ((triple5) -> rule6))] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12 OR ((triple11) -> rule1))] @1: Dave is round.[(((triple1) -> rule1))] Erin is nice.[(((triple3 triple2) -> rule2))] Erin is white.[(((triple2) -> rule6))] Fiona is round.[(((triple6) -> rule1) OR ((triple7) -> rule4))] @2: Dave is kind.[(((((triple1) -> rule1)) -> rule3))] @3: Dave is white.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))]