Anne is quiet. Anne is red. Anne is white. Bob is blue. Dave is blue. Dave is red. Dave is white. Dave is young. Fiona is red. Fiona is young. All quiet people are young. If Dave is rough and Dave is quiet then Dave is young. If Fiona is young then Fiona is big. If someone is red then they are young. If Fiona is white then Fiona is big. If someone is big and blue then they are white. If someone is big and rough then they are young. All quiet people are young.
Fiona is rough.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Dave is blue.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((triple6) -> rule4))] Fiona is red.[(triple9)] Fiona is young.[(triple10 OR ((triple9) -> rule4))] @1: Anne is young.[(((triple1) -> rule1) OR ((triple1) -> rule8) OR ((triple2) -> rule4))] Fiona is big.[(((triple10) -> rule3) OR ((((triple9) -> rule4)) -> rule3))]