Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is young. Kind, furry people are quiet. Nice, blue people are kind. All young people are nice. All kind, young people are big. If Charlie is furry then Charlie is big. All nice, big people are young. All nice people are big. Kind, quiet people are furry.
Charlie is not quiet.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule5) OR ((triple5) -> rule7) OR ((triple4 triple7) -> rule4) OR ((((triple7) -> rule3)) -> rule7) OR ((((triple4 triple6) -> rule8)) -> rule5) OR ((((triple5 triple2) -> rule2) triple7) -> rule4) OR ((((((triple5 triple2) -> rule2) triple6) -> rule8)) -> rule5) OR ((((((triple7) -> rule3) triple2) -> rule2) triple7) -> rule4) OR ((((((((triple7) -> rule3) triple2) -> rule2) triple6) -> rule8)) -> rule5))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple4 triple6) -> rule8) OR ((((triple5 triple2) -> rule2) triple6) -> rule8) OR ((((((triple7) -> rule3) triple2) -> rule2) triple6) -> rule8))] Charlie is kind.[(triple4 OR ((triple5 triple2) -> rule2) OR ((((triple7) -> rule3) triple2) -> rule2))] Charlie is nice.[(triple5 OR ((triple7) -> rule3))] Charlie is quiet.[(triple6 OR ((triple4 triple3) -> rule1) OR ((((triple5 triple2) -> rule2) triple3) -> rule1) OR ((((((triple7) -> rule3) triple2) -> rule2) triple3) -> rule1))] Charlie is young.[(triple7 OR ((triple5 triple1) -> rule6) OR ((triple5 ((triple3) -> rule5)) -> rule6) OR ((triple5 ((triple5) -> rule7)) -> rule6) OR ((triple5 ((((triple4 triple6) -> rule8)) -> rule5)) -> rule6) OR ((triple5 ((((((triple5 triple2) -> rule2) triple6) -> rule8)) -> rule5)) -> rule6))] Gary is big.[(triple8 OR ((triple12) -> rule7) OR ((triple11 triple14) -> rule4) OR ((((triple14) -> rule3)) -> rule7) OR ((((triple12 triple9) -> rule2) triple14) -> rule4) OR ((((((triple14) -> rule3) triple9) -> rule2) triple14) -> rule4))] Gary is blue.[(triple9)] Gary is furry.[(triple10 OR ((triple11 triple13) -> rule8) OR ((((triple12 triple9) -> rule2) triple13) -> rule8) OR ((((((triple14) -> rule3) triple9) -> rule2) triple13) -> rule8))] Gary is kind.[(triple11 OR ((triple12 triple9) -> rule2) OR ((((triple14) -> rule3) triple9) -> rule2))] Gary is nice.[(triple12 OR ((triple14) -> rule3))] Gary is quiet.[(triple13 OR ((triple11 triple10) -> rule1) OR ((((triple12 triple9) -> rule2) triple10) -> rule1) OR ((((((triple14) -> rule3) triple9) -> rule2) triple10) -> rule1))] Gary is young.[(triple14 OR ((triple12 triple8) -> rule6) OR ((triple12 ((triple12) -> rule7)) -> rule6))]