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