Dave is blue. Dave is green. Dave is quiet. Dave is red. Fiona is blue. Fiona is nice. Fiona is red. Blue things are red. If something is green then it is big. Quiet things are green. If Fiona is not nice then Fiona is red. All red, nice things are quiet. If Dave is blue then Dave is big.
Dave is not young.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2 OR ((triple3) -> rule3))] Dave is quiet.[(triple3)] Dave is red.[(triple4 OR ((triple1) -> rule1))] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7 OR ((triple5) -> rule1))] @1: Dave is big.[(((triple1) -> rule6) OR ((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Fiona is quiet.[(((triple7 triple6) -> rule5) OR ((((triple5) -> rule1) triple6) -> rule5))] @2: Fiona is green.[(((((triple7 triple6) -> rule5)) -> rule3) OR ((((((triple5) -> rule1) triple6) -> rule5)) -> rule3))] @3: Fiona is big.[(((((((triple7 triple6) -> rule5)) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple6) -> rule5)) -> rule3)) -> rule2))]