Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is smart. Quiet, nice people are blue. All rough people are smart. Quiet, blue people are rough. Nice, furry people are blue. Rough, smart people are green. If Fiona is quiet and Fiona is smart then Fiona is blue. All green, furry people are blue. If Fiona is blue and Fiona is furry then Fiona is green.
Fiona is not green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule4)) -> rule3) triple6) -> rule5) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule3) triple6) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule4)) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule3) ((triple5) -> rule2)) -> rule5) OR ((triple5 ((((triple4 ((triple3 triple1) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((triple5 ((((triple4 ((triple4 triple3) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule4)) -> rule3) ((((triple4 ((triple3 triple1) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((triple4 ((triple3 triple1) -> rule4)) -> rule3) ((((triple4 ((triple4 triple3) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule3) ((((triple4 ((triple3 triple1) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule3) ((((triple4 ((triple4 triple3) -> rule1)) -> rule3)) -> rule2)) -> rule5))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple4 ((triple2 triple1) -> rule7)) -> rule3) OR ((triple4 ((triple3 triple1) -> rule4)) -> rule3) OR ((triple4 ((triple4 triple3) -> rule1)) -> rule3))] Bob is smart.[(triple6 OR ((triple5) -> rule2) OR ((((triple4 ((triple2 triple1) -> rule7)) -> rule3)) -> rule2) OR ((((triple4 ((triple3 triple1) -> rule4)) -> rule3)) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule1)) -> rule3)) -> rule2))] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple11) -> rule2)) -> rule5) OR ((((triple10 triple12) -> rule6) triple7) -> rule8) OR ((((triple10 triple9) -> rule1) triple7) -> rule8) OR ((((triple9 triple7) -> rule4) triple7) -> rule8) OR ((((triple10 ((triple11) -> rule2)) -> rule6) triple7) -> rule8) OR ((((triple10 ((triple10 triple12) -> rule6)) -> rule3) triple12) -> rule5) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule3) triple12) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule4)) -> rule3) triple12) -> rule5) OR ((((triple10 ((triple10 triple12) -> rule6)) -> rule3) ((triple11) -> rule2)) -> rule5) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule3) ((triple11) -> rule2)) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule4)) -> rule3) ((triple11) -> rule2)) -> rule5) OR ((triple11 ((((triple10 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((triple11 ((((triple10 ((triple9 triple7) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple10 triple12) -> rule6)) -> rule3) ((((triple10 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple10 triple12) -> rule6)) -> rule3) ((((triple10 ((triple9 triple7) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule3) ((((triple10 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule3) ((((triple10 ((triple9 triple7) -> rule4)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule4)) -> rule3) ((((triple10 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2)) -> rule5) OR ((((triple10 ((triple9 triple7) -> rule4)) -> rule3) ((((triple10 ((triple9 triple7) -> rule4)) -> rule3)) -> rule2)) -> rule5))] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11 OR ((triple10 ((triple10 triple12) -> rule6)) -> rule3) OR ((triple10 ((triple10 triple9) -> rule1)) -> rule3) OR ((triple10 ((triple8 triple7) -> rule7)) -> rule3) OR ((triple10 ((triple9 triple7) -> rule4)) -> rule3))] Fiona is smart.[(triple12 OR ((triple11) -> rule2) OR ((((triple10 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2) OR ((((triple10 ((triple8 triple7) -> rule7)) -> rule3)) -> rule2) OR ((((triple10 ((triple9 triple7) -> rule4)) -> rule3)) -> rule2))] @1: Bob is blue.[(((triple2 triple1) -> rule7) OR ((triple3 triple1) -> rule4) OR ((triple4 triple3) -> rule1) OR ((((triple5 triple6) -> rule5) triple1) -> rule7) OR ((((triple5 ((triple5) -> rule2)) -> rule5) triple1) -> rule7))] Fiona is blue.[(((triple10 triple12) -> rule6) OR ((triple10 triple9) -> rule1) OR ((triple8 triple7) -> rule7) OR ((triple9 triple7) -> rule4) OR ((triple10 ((triple11) -> rule2)) -> rule6) OR ((((triple11 triple12) -> rule5) triple7) -> rule7) OR ((((triple11 ((triple11) -> rule2)) -> rule5) triple7) -> rule7))]