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