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