Dave is not big. Dave is not nice. Dave is quiet. Dave is round. Dave is smart. Dave is not white. Dave is not young. Fiona is round. Fiona is young. Gary is not big. Gary is nice. Gary is quiet. Gary is not round. Gary is smart. Gary is white. Gary is young. If something is round and big then it is not smart. If Fiona is big then Fiona is quiet. If Fiona is young then Fiona is big. If something is nice and not young then it is round. All big things are round. If something is quiet and big then it is white. If Dave is young then Dave is not round. White, smart things are quiet.
Fiona is not big.
@0: Dave is not big.[(triple1)] Dave is not nice.[(triple2)] Dave is not white.[(triple6)] Dave is not young.[(triple7)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Fiona is round.[(triple8 OR ((((triple9) -> rule3)) -> rule5))] Fiona is young.[(triple9)] Gary is nice.[(triple11)] Gary is not big.[(triple10)] Gary is not round.[(triple13)] Gary is quiet.[(triple12 OR ((triple15 triple14) -> rule8))] Gary is smart.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Fiona is big.[(((triple9) -> rule3))] @2: Fiona is not smart.[(((triple8 ((triple9) -> rule3)) -> rule1) OR ((((((triple9) -> rule3)) -> rule5) ((triple9) -> rule3)) -> rule1))] Fiona is quiet.[(((((triple9) -> rule3)) -> rule2))] @3: Fiona is white.[(((((((triple9) -> rule3)) -> rule2) ((triple9) -> rule3)) -> rule6))]