Bob is green. Bob is kind. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is young. Fiona is young. Gary is green. Gary is white. If Dave is white and Dave is big then Dave is green. If Fiona is nice and Fiona is green then Fiona is big. All white, young people are kind. Kind people are nice. Young people are rough. If Bob is nice then Bob is white. All kind people are big. Kind, big people are young.
Gary is not white.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Dave is big.[(triple3 OR ((triple5) -> rule7))] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule4))] Dave is young.[(triple7 OR ((triple5 triple3) -> rule8) OR ((triple5 ((triple5) -> rule7)) -> rule8))] Fiona is young.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10)] @1: Bob is big.[(((triple2) -> rule7))] Bob is nice.[(((triple2) -> rule4))] Dave is rough.[(((triple7) -> rule5) OR ((((triple5 triple3) -> rule8)) -> rule5) OR ((((triple5 ((triple5) -> rule7)) -> rule8)) -> rule5))] Fiona is rough.[(((triple8) -> rule5))] @2: Bob is white.[(((((triple2) -> rule4)) -> rule6))] Bob is young.[(((triple2 ((triple2) -> rule7)) -> rule8))] @3: Bob is rough.[(((((triple2 ((triple2) -> rule7)) -> rule8)) -> rule5))]