Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is not nice. Charlie is quiet. Charlie is smart. Furry people are green. If Charlie is green then Charlie is smart. All big people are smart. If Charlie is green then Charlie is furry. If Charlie is quiet and Charlie is not smart then Charlie is kind. If someone is quiet and not smart then they are not nice. All big people are not nice. If someone is smart and not nice then they are kind.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule4))] Charlie is green.[(triple3 OR ((triple2) -> rule1))] Charlie is kind.[(triple4 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple1) -> rule7)) -> rule8) OR ((((triple1) -> rule3) triple5) -> rule8) OR ((((triple3) -> rule2) triple5) -> rule8) OR ((((triple1) -> rule3) ((triple1) -> rule7)) -> rule8) OR ((((triple3) -> rule2) ((triple1) -> rule7)) -> rule8) OR ((((((triple2) -> rule1)) -> rule2) triple5) -> rule8) OR ((((((triple2) -> rule1)) -> rule2) ((triple1) -> rule7)) -> rule8))] Charlie is not nice.[(triple5 OR ((triple1) -> rule7))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7 OR ((triple1) -> rule3) OR ((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))]