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