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