Anne is kind. Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is round. Young, kind people are round. If someone is kind and cold then they are big. Big people are rough. Cold people are rough. Kind, big people are cold. If someone is rough then they are cold. If someone is rough and not cold then they are blue. If someone is round and not young then they are blue.
Bob is not blue.
@0: Anne is kind.[(triple1)] Bob is big.[(triple2 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple6) -> rule6)) -> rule2))] Bob is blue.[(triple3)] Bob is cold.[(triple4 OR ((triple6) -> rule6) OR ((triple5 triple2) -> rule5) OR ((((triple2) -> rule3)) -> rule6))] Bob is kind.[(triple5)] Bob is rough.[(triple6 OR ((triple2) -> rule3) OR ((triple4) -> rule4) OR ((((triple5 triple2) -> rule5)) -> rule4) OR ((((triple5 triple4) -> rule2)) -> rule3))] Bob is round.[(triple7)] Charlie is big.[(triple8 OR ((triple11 triple10) -> rule2))] Charlie is blue.[(triple9)] Charlie is cold.[(triple10 OR ((triple11 triple8) -> rule5) OR ((((triple8) -> rule3)) -> rule6))] Charlie is kind.[(triple11)] Charlie is round.[(triple12)] @1: Charlie is rough.[(((triple10) -> rule4) OR ((triple8) -> rule3) OR ((((triple11 triple10) -> rule2)) -> rule3) OR ((((triple11 triple8) -> rule5)) -> rule4))]