Charlie is big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is young. Dave is big. Dave is furry. Dave is rough. Dave is smart. Dave is not young. All big people are green. If Charlie is rough then Charlie is furry. All young people are rough. If Charlie is green then Charlie is big. All big, rough people are kind. All smart, green people are furry. If someone is rough and not kind then they are not smart. Young people are smart.
Charlie is rough.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule4))] Charlie is furry.[(triple2 OR ((triple5) -> rule2) OR ((triple6 triple3) -> rule6) OR ((((triple7) -> rule3)) -> rule2) OR ((triple6 ((triple1) -> rule1)) -> rule6) OR ((((triple7) -> rule8) triple3) -> rule6) OR ((((triple7) -> rule8) ((triple1) -> rule1)) -> rule6))] Charlie is green.[(triple3 OR ((triple1) -> rule1))] Charlie is kind.[(triple4 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple7) -> rule3)) -> rule5) OR ((((triple3) -> rule4) triple5) -> rule5) OR ((((triple3) -> rule4) ((triple7) -> rule3)) -> rule5))] Charlie is rough.[(triple5 OR ((triple7) -> rule3))] Charlie is smart.[(triple6 OR ((triple7) -> rule8))] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9 OR ((triple11 ((triple8) -> rule1)) -> rule6))] Dave is not young.[(triple12)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] @1: Dave is green.[(((triple8) -> rule1))] Dave is kind.[(((triple8 triple10) -> rule5))]