Anne is big. Anne is nice. Anne is red. Anne is white. Anne is not young. Bob is kind. Bob is nice. Bob is red. Bob is white. Bob is young. Dave is nice. Dave is white. Dave is young. Gary is not big. Gary is white. All green people are young. All young, big people are green. If someone is kind then they are big. If someone is nice and green then they are big. Young people are kind. If someone is young and not green then they are white.
Dave is green.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is not young.[(triple5)] Anne is red.[(triple3)] Anne is white.[(triple4)] Bob is kind.[(triple6 OR ((triple10) -> rule5))] Bob is nice.[(triple7)] Bob is red.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Dave is nice.[(triple11)] Dave is white.[(triple12)] Dave is young.[(triple13)] Gary is not big.[(triple14)] Gary is white.[(triple15)] @1: Bob is big.[(((triple6) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] Dave is kind.[(((triple13) -> rule5))] @2: Bob is green.[(((triple10 ((triple6) -> rule3)) -> rule2) OR ((triple10 ((((triple10) -> rule5)) -> rule3)) -> rule2))] Dave is big.[(((((triple13) -> rule5)) -> rule3))] @3: Dave is green.[(((triple13 ((((triple13) -> rule5)) -> rule3)) -> rule2))]