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