Bob is blue. Bob is not quiet. Erin is quiet. Erin is red. Erin is round. Erin is young. Fiona is blue. Fiona is round. Fiona is smart. Fiona is young. Gary is not blue. Gary is green. If something is green then it is smart. If Bob is not blue then Bob is quiet. Quiet things are round. Smart, red things are round. If Erin is smart and Erin is red then Erin is green. All green things are red. If something is round then it is young. All blue things are green.
Erin is not blue.
@0: Bob is blue.[(triple1)] Bob is not quiet.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple3) -> rule3))] Erin is young.[(triple6 OR ((triple5) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] Fiona is blue.[(triple7)] Fiona is round.[(triple8 OR ((triple9 ((((triple7) -> rule8)) -> rule6)) -> rule4) OR ((((((triple7) -> rule8)) -> rule1) ((((triple7) -> rule8)) -> rule6)) -> rule4))] Fiona is smart.[(triple9 OR ((((triple7) -> rule8)) -> rule1))] Fiona is young.[(triple10 OR ((triple8) -> rule7) OR ((((triple9 ((((triple7) -> rule8)) -> rule6)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule8)) -> rule1) ((((triple7) -> rule8)) -> rule6)) -> rule4)) -> rule7))] Gary is green.[(triple12)] Gary is not blue.[(triple11)] @1: Bob is green.[(((triple1) -> rule8))] Fiona is green.[(((triple7) -> rule8))] Gary is red.[(((triple12) -> rule6))] Gary is smart.[(((triple12) -> rule1))] @2: Bob is red.[(((((triple1) -> rule8)) -> rule6))] Bob is smart.[(((((triple1) -> rule8)) -> rule1))] Fiona is red.[(((((triple7) -> rule8)) -> rule6))] Gary is round.[(((((triple12) -> rule1) ((triple12) -> rule6)) -> rule4))] @3: Bob is round.[(((((((triple1) -> rule8)) -> rule1) ((((triple1) -> rule8)) -> rule6)) -> rule4))] Gary is young.[(((((((triple12) -> rule1) ((triple12) -> rule6)) -> rule4)) -> rule7))] @4: Bob is young.[(((((((((triple1) -> rule8)) -> rule1) ((((triple1) -> rule8)) -> rule6)) -> rule4)) -> rule7))]