Anne is green. Anne is young. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is young. All red people are round. Green people are furry. All quiet people are young. If Anne is big and Anne is quiet then Anne is young. If someone is round then they are furry. All round, red people are big. If Anne is quiet and Anne is young then Anne is big. Big, red people are young.
Anne is not round.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Fiona is furry.[(triple3 OR ((triple4) -> rule2) OR ((triple6) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule1))] Fiona is young.[(triple7 OR ((((triple6 triple5) -> rule6) triple5) -> rule8) OR ((((((triple5) -> rule1) triple5) -> rule6) triple5) -> rule8))] @1: Anne is furry.[(((triple1) -> rule2))] Fiona is big.[(((triple6 triple5) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6))]