Bob is furry. Bob is young. Charlie is green. Charlie is kind. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is young. Harry is kind. All rough, furry people are young. White people are rough. Furry, rough people are kind. If someone is kind and white then they are red. All young, white people are red. If Bob is kind and Bob is furry then Bob is white. All young people are kind. All rough, red people are kind.
Charlie is not furry.
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7 OR ((triple9) -> rule7))] Gary is red.[(triple8)] Gary is young.[(triple9)] Harry is kind.[(triple10)] @1: Bob is kind.[(((triple2) -> rule7))] @2: Bob is white.[(((((triple2) -> rule7) triple1) -> rule6))] @3: Bob is red.[(((triple2 ((((triple2) -> rule7) triple1) -> rule6)) -> rule5) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple1) -> rule6)) -> rule4))] Bob is rough.[(((((((triple2) -> rule7) triple1) -> rule6)) -> rule2))]