Bob is green. Bob is kind. Bob is white. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is not white. Fiona is green. Fiona is not kind. If Bob is furry then Bob is white. If someone is furry then they are kind. If Erin is furry then Erin is cold. Kind people are green. Green, furry people are quiet. If someone is rough and green then they are quiet. If someone is kind and not cold then they are rough. If someone is green then they are rough.
Bob is not quiet.
@0: Bob is green.[(triple1 OR ((triple2) -> rule4))] Bob is kind.[(triple2)] Bob is white.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule3))] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple7) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Erin is kind.[(triple7 OR ((triple5) -> rule2))] Erin is not white.[(triple10)] Erin is quiet.[(triple8 OR ((triple6 triple5) -> rule5) OR ((triple9 triple6) -> rule6) OR ((triple9 ((triple7) -> rule4)) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule6) OR ((((triple7) -> rule4) triple5) -> rule5) OR ((((triple6) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((triple9 ((((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((((triple5) -> rule2)) -> rule4) triple5) -> rule5) OR ((((((triple7) -> rule4)) -> rule8) triple6) -> rule6) OR ((((triple6) -> rule8) ((((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((((((triple7) -> rule4)) -> rule8) ((((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4)) -> rule8) triple6) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4)) -> rule8) ((triple7) -> rule4)) -> rule6) OR ((((((((triple5) -> rule2)) -> rule4)) -> rule8) ((((triple5) -> rule2)) -> rule4)) -> rule6))] Erin is rough.[(triple9 OR ((triple6) -> rule8) OR ((((triple7) -> rule4)) -> rule8) OR ((((((triple5) -> rule2)) -> rule4)) -> rule8))] Fiona is green.[(triple11)] Fiona is not kind.[(triple12)] @1: Bob is rough.[(((triple1) -> rule8) OR ((((triple2) -> rule4)) -> rule8))] Fiona is rough.[(((triple11) -> rule8))] @2: Bob is quiet.[(((((triple1) -> rule8) triple1) -> rule6) OR ((((triple1) -> rule8) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4)) -> rule8) triple1) -> rule6) OR ((((((triple2) -> rule4)) -> rule8) ((triple2) -> rule4)) -> rule6))] Fiona is quiet.[(((((triple11) -> rule8) triple11) -> rule6))]