Bob is quiet. Charlie is green. Erin is red. Erin is white. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. Red people are kind. If Fiona is white then Fiona is red. If Fiona is rough then Fiona is red. Rough people are red. If someone is quiet then they are rough. White, kind people are rough. If Erin is kind then Erin is rough. If Erin is rough and Erin is white then Erin is green.
Charlie is not kind.
@0: Bob is quiet.[(triple1)] Charlie is green.[(triple2)] Erin is red.[(triple3)] Erin is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((((triple10) -> rule2)) -> rule1) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule4)) -> rule1) OR ((((((triple8) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8) -> rule5)) -> rule4)) -> rule1))] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((triple8) -> rule5) OR ((triple10 triple7) -> rule6) OR ((triple10 ((((triple10) -> rule2)) -> rule1)) -> rule6))] Fiona is white.[(triple10)] @1: Bob is rough.[(((triple1) -> rule5))] Erin is kind.[(((triple3) -> rule1))] Fiona is red.[(((triple10) -> rule2) OR ((triple9) -> rule3) OR ((triple9) -> rule4) OR ((((triple8) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule4) OR ((((triple10 triple7) -> rule6)) -> rule3) OR ((((triple10 triple7) -> rule6)) -> rule4))] @2: Bob is red.[(((((triple1) -> rule5)) -> rule4))] Erin is rough.[(((((triple3) -> rule1)) -> rule7) OR ((triple4 ((triple3) -> rule1)) -> rule6))] @3: Bob is kind.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))] Erin is green.[(((((((triple3) -> rule1)) -> rule7) triple4) -> rule8) OR ((((triple4 ((triple3) -> rule1)) -> rule6) triple4) -> rule8))]