Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is not rough. Charlie is not big. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. If Charlie is kind and Charlie is red then Charlie is rough. All green, rough people are not big. If someone is kind then they are red.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is not rough.[(triple7)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple4) -> rule3))] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is not big.[(triple8 OR ((triple10 triple14) -> rule2) OR ((triple10 ((triple11 triple13) -> rule1)) -> rule2) OR ((triple10 ((triple11 ((triple11) -> rule3)) -> rule1)) -> rule2))] Charlie is quiet.[(triple12)] Charlie is red.[(triple13 OR ((triple11) -> rule3))] Charlie is rough.[(triple14 OR ((triple11 triple13) -> rule1) OR ((triple11 ((triple11) -> rule3)) -> rule1))]