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