Bob is green. Bob is kind. Bob is rough. Bob is young. Charlie is green. Charlie is nice. Charlie is rough. Charlie is young. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is young. Harry is kind. Harry is nice. If someone is green then they are furry. If someone is young and rough then they are green. If someone is red and kind then they are young. If Dave is rough then Dave is nice. Kind, green people are rough. All red people are kind. All young people are furry. All furry people are young.
Dave is kind.
@0: Bob is green.[(triple1 OR ((triple4 triple3) -> rule2))] Bob is kind.[(triple2)] Bob is rough.[(triple3 OR ((triple2 triple1) -> rule5))] Bob is young.[(triple4 OR ((((triple1) -> rule1)) -> rule8))] Charlie is green.[(triple5 OR ((triple8 triple7) -> rule2))] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Charlie is young.[(triple8 OR ((((triple5) -> rule1)) -> rule8))] Dave is furry.[(triple9 OR ((triple13) -> rule7) OR ((((triple12 triple10) -> rule3)) -> rule7) OR ((((triple12 ((triple12) -> rule6)) -> rule3)) -> rule7))] Dave is kind.[(triple10 OR ((triple12) -> rule6))] Dave is nice.[(triple11)] Dave is red.[(triple12)] Dave is young.[(triple13 OR ((triple9) -> rule8) OR ((triple12 triple10) -> rule3) OR ((triple12 ((triple12) -> rule6)) -> rule3))] Harry is kind.[(triple14)] Harry is nice.[(triple15)] @1: Bob is furry.[(((triple1) -> rule1) OR ((triple4) -> rule7) OR ((((triple4 triple3) -> rule2)) -> rule1))] Charlie is furry.[(((triple5) -> rule1) OR ((triple8) -> rule7) OR ((((triple8 triple7) -> rule2)) -> rule1))]