Dave is big. Dave is blue. Dave is quiet. Dave is red. Dave is round. Dave is young. Erin is blue. Erin is green. Erin is red. Erin is round. Erin is young. Fiona is big. Fiona is round. Gary is blue. Gary is round. All green people are red. All blue people are big.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple2) -> rule2))] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is red.[(triple9 OR ((triple8) -> rule1))] Erin is round.[(triple10)] Erin is young.[(triple11)] Fiona is big.[(triple12)] Fiona is round.[(triple13)] Gary is blue.[(triple14)] Gary is round.[(triple15)] @1: Erin is big.[(((triple7) -> rule2))] Gary is big.[(((triple14) -> rule2))]