Anne is cold. Anne is white. Anne is young. Cold, red people are not big. All white people are not big. If Anne is red then Anne is cold. If Anne is big and Anne is cold then Anne is not green. All green, white people are not cold. Red people are white. If someone is big and not white then they are furry. If someone is furry and white then they are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Cold, red people are not big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
All white people are not big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "-"))
If Anne is red then Anne is cold.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "cold" "+"))
If Anne is big and Anne is cold then Anne is not green.
((("Anne" "is" "big" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "green" "-"))
All green, white people are not cold.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is big and not white then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
If someone is furry and white then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Anne is not big.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "big" "-")
((triple2) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "big" "+")
((triple2) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] @1: Anne is not big.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
((triple2) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1