Anne is furry. Anne is rough. Bob is blue. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is round. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is round. If Bob is blue then Bob is furry. All rough, green things are blue. If something is furry and red then it is round. All green things are red. If something is round then it is red. If something is furry and rough then it is green. All quiet, blue things are red. Round things are green.
Anne is not round.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3 OR ((triple8 triple5) -> rule2) OR ((triple8 ((triple9) -> rule8)) -> rule2) OR ((triple8 ((triple4 triple8) -> rule6)) -> rule2) OR ((triple8 ((((triple4 triple7) -> rule3)) -> rule8)) -> rule2))] Bob is furry.[(triple4 OR ((triple3) -> rule1) OR ((((triple8 triple5) -> rule2)) -> rule1) OR ((((triple8 ((triple9) -> rule8)) -> rule2)) -> rule1))] Bob is green.[(triple5 OR ((triple9) -> rule8) OR ((triple4 triple8) -> rule6) OR ((((triple4 triple7) -> rule3)) -> rule8) OR ((((triple3) -> rule1) triple8) -> rule6) OR ((((triple4 ((triple6 triple3) -> rule7)) -> rule3)) -> rule8) OR ((((((triple3) -> rule1) triple7) -> rule3)) -> rule8) OR ((((((triple3) -> rule1) ((triple6 triple3) -> rule7)) -> rule3)) -> rule8))] Bob is quiet.[(triple6)] Bob is red.[(triple7 OR ((triple5) -> rule4) OR ((triple9) -> rule5) OR ((triple6 triple3) -> rule7) OR ((((triple9) -> rule8)) -> rule4) OR ((((triple4 triple8) -> rule6)) -> rule4) OR ((triple6 ((triple8 triple5) -> rule2)) -> rule7) OR ((((((triple3) -> rule1) triple8) -> rule6)) -> rule4) OR ((triple6 ((triple8 ((triple9) -> rule8)) -> rule2)) -> rule7) OR ((triple6 ((triple8 ((triple4 triple8) -> rule6)) -> rule2)) -> rule7))] Bob is rough.[(triple8)] Bob is round.[(triple9 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple5) -> rule4)) -> rule3) OR ((triple4 ((triple6 triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple7) -> rule3) OR ((((triple3) -> rule1) ((triple5) -> rule4)) -> rule3) OR ((((triple3) -> rule1) ((triple6 triple3) -> rule7)) -> rule3) OR ((triple4 ((((triple4 triple8) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((triple6 ((triple8 triple5) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) triple7) -> rule3) OR ((((triple3) -> rule1) ((((triple4 triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple3) -> rule1) ((triple6 ((triple8 triple5) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((triple5) -> rule4)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((triple6 triple3) -> rule7)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((((triple4 triple8) -> rule6)) -> rule4)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((triple6 ((triple8 triple5) -> rule2)) -> rule7)) -> rule3) OR ((triple4 ((((((triple3) -> rule1) triple8) -> rule6)) -> rule4)) -> rule3) OR ((triple4 ((triple6 ((triple8 ((triple4 triple8) -> rule6)) -> rule2)) -> rule7)) -> rule3) OR ((((triple3) -> rule1) ((((((triple3) -> rule1) triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple3) -> rule1) ((triple6 ((triple8 ((triple4 triple8) -> rule6)) -> rule2)) -> rule7)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((((((triple3) -> rule1) triple8) -> rule6)) -> rule4)) -> rule3) OR ((((((triple8 triple5) -> rule2)) -> rule1) ((triple6 ((triple8 ((triple4 triple8) -> rule6)) -> rule2)) -> rule7)) -> rule3))] Harry is blue.[(triple10 OR ((triple15 triple12) -> rule2) OR ((triple15 ((triple16) -> rule8)) -> rule2) OR ((triple15 ((triple11 triple15) -> rule6)) -> rule2) OR ((triple15 ((((triple11 triple14) -> rule3)) -> rule8)) -> rule2))] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple16) -> rule8) OR ((triple11 triple15) -> rule6) OR ((((triple11 triple14) -> rule3)) -> rule8) OR ((((triple11 ((triple13 triple10) -> rule7)) -> rule3)) -> rule8))] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((triple12) -> rule4) OR ((triple16) -> rule5) OR ((triple13 triple10) -> rule7) OR ((((triple16) -> rule8)) -> rule4) OR ((((triple11 triple15) -> rule6)) -> rule4) OR ((triple13 ((triple15 triple12) -> rule2)) -> rule7) OR ((triple13 ((triple15 ((triple16) -> rule8)) -> rule2)) -> rule7) OR ((triple13 ((triple15 ((triple11 triple15) -> rule6)) -> rule2)) -> rule7))] Harry is rough.[(triple15)] Harry is round.[(triple16 OR ((triple11 triple14) -> rule3) OR ((triple11 ((triple12) -> rule4)) -> rule3) OR ((triple11 ((triple13 triple10) -> rule7)) -> rule3) OR ((triple11 ((((triple11 triple15) -> rule6)) -> rule4)) -> rule3) OR ((triple11 ((triple13 ((triple15 triple12) -> rule2)) -> rule7)) -> rule3) OR ((triple11 ((triple13 ((triple15 ((triple11 triple15) -> rule6)) -> rule2)) -> rule7)) -> rule3))] @1: Anne is green.[(((triple1 triple2) -> rule6))] @2: Anne is blue.[(((triple2 ((triple1 triple2) -> rule6)) -> rule2))] Anne is red.[(((((triple1 triple2) -> rule6)) -> rule4))] @3: Anne is round.[(((triple1 ((((triple1 triple2) -> rule6)) -> rule4)) -> rule3))]