Dave is big. Dave is rough. Dave is round. Dave is young. Erin is blue. Erin is quiet. Erin is young. Big, young things are red. If Erin is quiet and Erin is blue then Erin is big. Red things are round.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3 OR ((((triple1 triple4) -> rule1)) -> rule3))] Dave is young.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] @1: Dave is red.[(((triple1 triple4) -> rule1))] Erin is big.[(((triple6 triple5) -> rule2))] @2: Erin is red.[(((((triple6 triple5) -> rule2) triple7) -> rule1))] @3: Erin is round.[(((((((triple6 triple5) -> rule2) triple7) -> rule1)) -> rule3))]