Charlie is blue. Charlie is quiet. Charlie is smart. Charlie is young. Erin is blue. Erin is nice. Erin is quiet. Erin is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Furry, young things are quiet. All young things are big. Smart things are nice. All blue things are big. If something is nice and big then it is quiet. Big things are furry. If Charlie is young and Charlie is quiet then Charlie is blue. Furry, blue things are young.
Erin is not furry.
@0: Charlie is blue.[(triple1 OR ((triple4 triple2) -> rule7) OR ((triple4 ((((triple3) -> rule3) ((triple4) -> rule2)) -> rule5)) -> rule7) OR ((triple4 ((((((triple4) -> rule2)) -> rule6) triple4) -> rule1)) -> rule7))] Charlie is quiet.[(triple2 OR ((((triple3) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((triple3) -> rule3) ((triple4) -> rule2)) -> rule5) OR ((((((triple1) -> rule4)) -> rule6) triple4) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) triple4) -> rule1) OR ((((((triple1) -> rule4)) -> rule6) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8)) -> rule1))] Charlie is smart.[(triple3)] Charlie is young.[(triple4 OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8))] Erin is blue.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule3))] Erin is quiet.[(triple7 OR ((triple6 ((triple5) -> rule4)) -> rule5) OR ((((triple8) -> rule3) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4)) -> rule6) ((((((triple5) -> rule4)) -> rule6) triple5) -> rule8)) -> rule1))] Erin is smart.[(triple8)] Fiona is big.[(triple9 OR ((triple10) -> rule4) OR ((triple15) -> rule2) OR ((((triple11 triple10) -> rule8)) -> rule2))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11 OR ((triple9) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((triple15) -> rule2)) -> rule6))] Fiona is nice.[(triple12 OR ((triple14) -> rule3))] Fiona is quiet.[(triple13 OR ((triple11 triple15) -> rule1) OR ((triple12 triple9) -> rule5) OR ((triple11 ((triple11 triple10) -> rule8)) -> rule1) OR ((triple12 ((triple10) -> rule4)) -> rule5) OR ((triple12 ((triple15) -> rule2)) -> rule5) OR ((((triple14) -> rule3) triple9) -> rule5) OR ((((triple9) -> rule6) triple15) -> rule1) OR ((((triple14) -> rule3) ((triple10) -> rule4)) -> rule5) OR ((((triple14) -> rule3) ((triple15) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((triple11 ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((triple12 ((((triple11 triple10) -> rule8)) -> rule2)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple15) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) triple15) -> rule1) OR ((((triple14) -> rule3) ((((triple11 triple10) -> rule8)) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((triple11 triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((((triple9) -> rule6) triple10) -> rule8)) -> rule1) OR ((triple11 ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((triple9) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple10) -> rule4)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1) OR ((((((triple15) -> rule2)) -> rule6) ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8)) -> rule1))] Fiona is smart.[(triple14)] Fiona is young.[(triple15 OR ((triple11 triple10) -> rule8) OR ((((triple9) -> rule6) triple10) -> rule8) OR ((((((triple10) -> rule4)) -> rule6) triple10) -> rule8))] @1: Charlie is big.[(((triple1) -> rule4) OR ((triple4) -> rule2) OR ((((triple4 triple2) -> rule7)) -> rule4))] Charlie is nice.[(((triple3) -> rule3))] Erin is big.[(((triple5) -> rule4))] @2: Charlie is furry.[(((((triple1) -> rule4)) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((((triple4 triple2) -> rule7)) -> rule4)) -> rule6))] Erin is furry.[(((((triple5) -> rule4)) -> rule6))] @3: Erin is young.[(((((((triple5) -> rule4)) -> rule6) triple5) -> rule8))]