Anne is blue. Anne is furry. Anne is red. Anne is young. Charlie is blue. Charlie is smart. Charlie is young. Fiona is blue. Fiona is kind. Fiona is red. Fiona is smart. Fiona is young. Young, red people are blue. If someone is kind then they are furry. If Anne is smart then Anne is blue. Red people are smart. If someone is furry then they are red. All blue people are kind.
Anne is not big.
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule1) OR ((((triple3) -> rule4)) -> rule3) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule5)) -> rule4)) -> rule3))] Anne is furry.[(triple2 OR ((((triple1) -> rule6)) -> rule2) OR ((((((triple4 triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule2))] Anne is red.[(triple3 OR ((triple2) -> rule5) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is smart.[(triple6 OR ((((((((triple5) -> rule6)) -> rule2)) -> rule5)) -> rule4))] Charlie is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple12 triple10) -> rule1) OR ((triple12 ((((triple9) -> rule2)) -> rule5)) -> rule1))] Fiona is kind.[(triple9 OR ((triple8) -> rule6) OR ((((triple12 triple10) -> rule1)) -> rule6))] Fiona is red.[(triple10 OR ((((triple9) -> rule2)) -> rule5) OR ((((((triple8) -> rule6)) -> rule2)) -> rule5))] Fiona is smart.[(triple11 OR ((triple10) -> rule4) OR ((((((triple9) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple8) -> rule6)) -> rule2)) -> rule5)) -> rule4))] Fiona is young.[(triple12)] @1: Anne is kind.[(((triple1) -> rule6) OR ((((triple4 triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6) OR ((((triple4 ((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule6))] Anne is smart.[(((triple3) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule2)) -> rule5)) -> rule4))] Charlie is kind.[(((triple5) -> rule6))] Fiona is furry.[(((triple9) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple12 triple10) -> rule1)) -> rule6)) -> rule2))] @2: Charlie is furry.[(((((triple5) -> rule6)) -> rule2))] @3: Charlie is red.[(((((((triple5) -> rule6)) -> rule2)) -> rule5))]