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