Dave is big. Dave is kind. Dave is quiet. Dave is red. Dave is round. Erin is blue. Erin is kind. Erin is red. Erin is round. Erin is young. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. If someone is red then they are round. If someone is round and blue then they are young. Blue people are young. If someone is quiet and kind then they are young. If someone is blue and quiet then they are young. If Erin is quiet and Erin is big then Erin is kind.
Fiona is not kind.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple4) -> rule1))] Erin is blue.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule1))] Erin is young.[(triple10 OR ((triple6) -> rule3) OR ((triple9 triple6) -> rule2) OR ((((triple8) -> rule1) triple6) -> rule2))] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15 OR ((triple14) -> rule1))] @1: Dave is young.[(((triple3 triple2) -> rule4))] Fiona is young.[(((triple12) -> rule3) OR ((triple12 triple13) -> rule5) OR ((triple15 triple12) -> rule2) OR ((((triple14) -> rule1) triple12) -> rule2))]