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