Anne is big. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is young. Bob is big. Bob is nice. Bob is quiet. Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is young. All green things are big. Big, quiet things are young. Nice things are red. If Anne is big then Anne is green. Red, quiet things are kind. Big things are quiet. If Bob is kind and Bob is big then Bob is red. Big, green things are kind.
Bob is not green.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is green.[(triple2 OR ((triple1) -> rule4))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Anne is red.[(triple5 OR ((triple3) -> rule3))] Anne is young.[(triple6 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule1) triple4) -> rule2) OR ((((triple2) -> rule1) ((triple1) -> rule6)) -> rule2) OR ((triple1 ((((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule2))] Bob is big.[(triple7)] Bob is nice.[(triple8)] Bob is quiet.[(triple9 OR ((triple7) -> rule6))] Dave is big.[(triple10)] Dave is kind.[(triple11 OR ((triple14 triple13) -> rule5) OR ((triple14 ((triple10) -> rule6)) -> rule5) OR ((((triple12) -> rule3) triple13) -> rule5) OR ((((triple12) -> rule3) ((triple10) -> rule6)) -> rule5))] Dave is nice.[(triple12)] Dave is quiet.[(triple13 OR ((triple10) -> rule6))] Dave is red.[(triple14 OR ((triple12) -> rule3))] Dave is young.[(triple15 OR ((triple10 triple13) -> rule2) OR ((triple10 ((triple10) -> rule6)) -> rule2))] @1: Anne is kind.[(((triple1 triple2) -> rule8) OR ((triple5 triple4) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule8) OR ((triple5 ((triple1) -> rule6)) -> rule5) OR ((((triple2) -> rule1) triple2) -> rule8) OR ((((triple3) -> rule3) triple4) -> rule5) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule8) OR ((((triple3) -> rule3) ((triple1) -> rule6)) -> rule5) OR ((triple5 ((((triple2) -> rule1)) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((((triple2) -> rule1)) -> rule6)) -> rule5))] Bob is red.[(((triple8) -> rule3))] Bob is young.[(((triple7 triple9) -> rule2) OR ((triple7 ((triple7) -> rule6)) -> rule2))] @2: Bob is kind.[(((((triple8) -> rule3) triple9) -> rule5) OR ((((triple8) -> rule3) ((triple7) -> rule6)) -> rule5))]