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