Bob is round. Dave is big. Dave is not kind. Dave is not round. Dave is white. Fiona is big. Fiona is blue. Fiona is round. Fiona is white. Gary is green. If something is round and smart then it is not kind. If Dave is green and Dave is white then Dave is big. Blue things are smart. If Gary is white then Gary is kind. If something is round and not blue then it is not big. If something is blue and not kind then it is big.
Gary is not kind.
@0: Bob is round.[(triple1)] Dave is big.[(triple2)] Dave is not kind.[(triple3)] Dave is not round.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6 OR ((triple7 ((triple8 ((triple7) -> rule3)) -> rule1)) -> rule6))] Fiona is blue.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Gary is green.[(triple10)] @1: Fiona is smart.[(((triple7) -> rule3))] @2: Fiona is not kind.[(((triple8 ((triple7) -> rule3)) -> rule1))]