Anne is not big. Anne is furry. Erin is white. All big people are blue. All furry people are white. If Anne is green and Anne is smart then Anne is not kind. Kind people are not green. All white, furry people are green. If someone is big and not white then they are smart. Big, blue people are smart. If someone is white and not big then they are smart.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If Anne is green and Anne is smart then Anne is not kind.
((("Anne" "is" "green" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "kind" "-"))
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
All white, furry people are green.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is big and not white then they are smart.
((("someone" "is" "big" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "smart" "+"))
Big, blue people are smart.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is white and not big then they are smart.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "smart" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Anne is white.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "white" "-")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule5))]
("Anne" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not smart.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule8))]
("Anne" "is" "smart" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "smart" "+")
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is furry.[(triple2)] Anne is not big.[(triple1)] Erin is white.[(triple3)] @1: Anne is white.[(((triple2) -> rule2))] @2: Anne is green.[(((((triple2) -> rule2) triple2) -> rule5))] Anne is smart.[(((((triple2) -> rule2) triple1) -> rule8))] @3: Anne is not kind.[(((((((triple2) -> rule2) triple2) -> rule5) ((((triple2) -> rule2) triple1) -> rule8)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not kind.
("Anne" "is" "kind" "-")
((((((triple2) -> (rule2 % int4)) triple2) -> (rule5 % int3)) ((((triple2) -> (rule2 % int4)) triple1) -> (rule8 % int2))) -> (rule3 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4