Anne is kind. Dave is big. Dave is young. Fiona is blue. Fiona is kind. Fiona is red. Fiona is round. Blue, round people are red. If someone is big and blue then they are red. All kind people are blue. If someone is blue then they are red. If Dave is young then Dave is red. Red, green people are round. If someone is young then they are green. If Anne is round then Anne is red.
Dave is big.
@0: Anne is kind.[(triple1)] Dave is big.[(triple2)] Dave is young.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule3))] Fiona is kind.[(triple5)] Fiona is red.[(triple6 OR ((triple4) -> rule4) OR ((triple4 triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule4) OR ((((triple5) -> rule3) triple7) -> rule1))] Fiona is round.[(triple7)] @1: Anne is blue.[(((triple1) -> rule3))] Dave is green.[(((triple3) -> rule7))] Dave is red.[(((triple3) -> rule5))] @2: Anne is red.[(((((triple1) -> rule3)) -> rule4))] Dave is round.[(((((triple3) -> rule5) ((triple3) -> rule7)) -> rule6))]