Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is white. Fiona is big. Fiona is quiet. Fiona is red. Fiona is round. Gary is round. Gary is white. Gary is young. If Fiona is big and Fiona is green then Fiona is round. All big, green people are round. If someone is white then they are green. Green people are quiet. Red people are quiet. Round people are white. Red, big people are white. If someone is green and quiet then they are young.
Anne is big.
@0: Anne is green.[(triple1 OR ((triple5) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] Anne is quiet.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule5) OR ((((triple5) -> rule3)) -> rule4) OR ((((((triple4) -> rule6)) -> rule3)) -> rule4))] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5 OR ((triple4) -> rule6))] Fiona is big.[(triple6)] Fiona is quiet.[(triple7 OR ((triple8) -> rule5) OR ((((((triple9) -> rule6)) -> rule3)) -> rule4) OR ((((((triple8 triple6) -> rule7)) -> rule3)) -> rule4))] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((triple6 ((((triple8 triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple6 ((((triple8 triple6) -> rule7)) -> rule3)) -> rule2))] Gary is round.[(triple10)] Gary is white.[(triple11 OR ((triple10) -> rule6))] Gary is young.[(triple12 OR ((((triple11) -> rule3) ((((triple11) -> rule3)) -> rule4)) -> rule8) OR ((((((triple10) -> rule6)) -> rule3) ((((triple11) -> rule3)) -> rule4)) -> rule8) OR ((((triple11) -> rule3) ((((((triple10) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple10) -> rule6)) -> rule3) ((((((triple10) -> rule6)) -> rule3)) -> rule4)) -> rule8))] @1: Anne is young.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple1) -> rule4)) -> rule8) OR ((triple1 ((triple3) -> rule5)) -> rule8) OR ((((triple5) -> rule3) triple2) -> rule8) OR ((((triple5) -> rule3) ((triple1) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((triple3) -> rule5)) -> rule8) OR ((triple1 ((((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3) triple2) -> rule8) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3) ((triple1) -> rule4)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3) ((triple3) -> rule5)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3) ((((triple5) -> rule3)) -> rule4)) -> rule8) OR ((triple1 ((((((triple4) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((triple5) -> rule3) ((((((triple4) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3) ((((((triple4) -> rule6)) -> rule3)) -> rule4)) -> rule8))] Fiona is white.[(((triple9) -> rule6) OR ((triple8 triple6) -> rule7))] Gary is green.[(((triple11) -> rule3) OR ((((triple10) -> rule6)) -> rule3))] @2: Fiona is green.[(((((triple9) -> rule6)) -> rule3) OR ((((triple8 triple6) -> rule7)) -> rule3))] Gary is quiet.[(((((triple11) -> rule3)) -> rule4) OR ((((((triple10) -> rule6)) -> rule3)) -> rule4))] @3: Fiona is young.[(((((((triple9) -> rule6)) -> rule3) triple7) -> rule8) OR ((((((triple8 triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((triple9) -> rule6)) -> rule3) ((triple8) -> rule5)) -> rule8) OR ((((((triple8 triple6) -> rule7)) -> rule3) ((triple8) -> rule5)) -> rule8) OR ((((((triple9) -> rule6)) -> rule3) ((((((triple9) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple9) -> rule6)) -> rule3) ((((((triple8 triple6) -> rule7)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple8 triple6) -> rule7)) -> rule3) ((((((triple9) -> rule6)) -> rule3)) -> rule4)) -> rule8) OR ((((((triple8 triple6) -> rule7)) -> rule3) ((((((triple8 triple6) -> rule7)) -> rule3)) -> rule4)) -> rule8))]