Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is young. Bob is furry. Bob is green. Bob is quiet. Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Dave is furry. Dave is green. Dave is nice. All green, red people are young. If someone is green then they are red. All green, big people are quiet.
Charlie is quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2))] Anne is young.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is quiet.[(triple8)] Charlie is big.[(triple9)] Charlie is furry.[(triple10)] Charlie is nice.[(triple11)] Charlie is quiet.[(triple12)] Dave is furry.[(triple13)] Dave is green.[(triple14)] Dave is nice.[(triple15)] @1: Bob is red.[(((triple7) -> rule2))] Dave is red.[(((triple14) -> rule2))] @2: Bob is young.[(((triple7 ((triple7) -> rule2)) -> rule1))] Dave is young.[(((triple14 ((triple14) -> rule2)) -> rule1))]