Anne is big. Anne is nice. Bob is green. Bob is rough. Charlie is green. Charlie is smart. Charlie is young. Dave is big. Dave is green. Dave is rough. All nice people are kind. If someone is kind and nice then they are smart. All smart people are green.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Bob is green.[(triple3)] Bob is rough.[(triple4)] Charlie is green.[(triple5 OR ((triple6) -> rule3))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is rough.[(triple10)] @1: Anne is kind.[(((triple2) -> rule1))] @2: Anne is smart.[(((((triple2) -> rule1) triple2) -> rule2))] @3: Anne is green.[(((((((triple2) -> rule1) triple2) -> rule2)) -> rule3))]