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