Bob is not green. Bob is quiet. Bob is red. Dave is big. Dave is not quiet. Dave is not round. Erin is big. Erin is not cold. Erin is red. Erin is round. Fiona is round. Fiona is young. If Dave is young then Dave is big. All cold things are not young. Red, green things are young. If something is quiet and big then it is not red. Young, green things are big. All round, young things are not green. If something is cold then it is not green. Big, red things are not cold.
Erin is quiet.
@0: Bob is not green.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Dave is big.[(triple4)] Dave is not quiet.[(triple5)] Dave is not round.[(triple6)] Erin is big.[(triple7)] Erin is not cold.[(triple8 OR ((triple7 triple9) -> rule8))] Erin is red.[(triple9)] Erin is round.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is not green.[(((triple11 triple12) -> rule6))]