Anne is big. Anne is blue. Anne is green. Anne is quiet. Anne is rough. Anne is round. Anne is white. Bob is big. Bob is quiet. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. If something is rough then it is blue. All big, green things are blue. If Anne is blue then Anne is rough. If something is white and green then it is round. All blue things are white. Big things are rough.
Bob is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule1) OR ((triple1 triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule1))] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple1) -> rule6) OR ((triple2) -> rule3) OR ((((triple1 triple3) -> rule2)) -> rule3))] Anne is round.[(triple6 OR ((triple7 triple3) -> rule4) OR ((((triple2) -> rule5) triple3) -> rule4) OR ((((((triple5) -> rule1)) -> rule5) triple3) -> rule4) OR ((((((triple1 triple3) -> rule2)) -> rule5) triple3) -> rule4) OR ((((((((triple1) -> rule6)) -> rule1)) -> rule5) triple3) -> rule4))] Anne is white.[(triple7 OR ((triple2) -> rule5) OR ((((triple5) -> rule1)) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5) OR ((((((triple1) -> rule6)) -> rule1)) -> rule5))] Bob is big.[(triple8)] Bob is quiet.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11 OR ((triple14) -> rule1) OR ((triple10 triple12) -> rule2) OR ((((triple10) -> rule6)) -> rule1))] Dave is green.[(triple12)] Dave is quiet.[(triple13)] Dave is rough.[(triple14 OR ((triple10) -> rule6))] Dave is round.[(triple15 OR ((triple16 triple12) -> rule4) OR ((((triple11) -> rule5) triple12) -> rule4) OR ((((((triple14) -> rule1)) -> rule5) triple12) -> rule4) OR ((((((triple10 triple12) -> rule2)) -> rule5) triple12) -> rule4) OR ((((((((triple10) -> rule6)) -> rule1)) -> rule5) triple12) -> rule4))] Dave is white.[(triple16 OR ((triple11) -> rule5) OR ((((triple14) -> rule1)) -> rule5) OR ((((triple10 triple12) -> rule2)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1)) -> rule5))] @1: Bob is rough.[(((triple8) -> rule6))] @2: Bob is blue.[(((((triple8) -> rule6)) -> rule1))] @3: Bob is white.[(((((((triple8) -> rule6)) -> rule1)) -> rule5))]