Anne is green. Anne is not nice. Anne is not rough. Anne is round. Anne is not smart. Anne is white. Anne is young. Green things are not nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Green things are not nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "-"))
Anne is young.
True
1
proof
[(triple7)]
("Anne" "is" "young" "+")
triple7
Anne is not young.
False
1
inv-proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
@0: Anne is green.[(triple1)] Anne is not nice.[(triple2 OR ((triple1) -> rule1))] Anne is not rough.[(triple3)] Anne is not smart.[(triple5)] Anne is round.[(triple4)] Anne is white.[(triple6)] Anne is young.[(triple7)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
((triple1) -> (rule1 % int1))
Anne is not nice.
("Anne" "is" "nice" "-")
int1
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7