Anne is kind. Anne is quiet. Anne is rough. Dave is quiet. Dave is round. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is young. All green people are young. All quiet, kind people are round. If Fiona is round and Fiona is green then Fiona is red. Green, red people are quiet. If someone is red then they are round. All green people are kind.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple6) -> rule6))] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10 OR ((triple6) -> rule1))] @1: Anne is round.[(((triple2 triple1) -> rule2))] Fiona is red.[(((triple9 triple6) -> rule3))] @2: Fiona is quiet.[(((triple6 ((triple9 triple6) -> rule3)) -> rule4))]