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