Anne is not white. Bob is cold. Fiona is not rough. If someone is quiet and not smart then they are rough. All white, rough people are big. If someone is cold then they are not big. Rough people are young. If someone is cold and big then they are not young. If Anne is young and Anne is not white then Anne is cold.
Anne is not white.
("Anne" "is" "white" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
If someone is quiet and not smart then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
All white, rough people are big.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are not big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "-"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big then they are not young.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
If Anne is young and Anne is not white then Anne is cold.
((("Anne" "is" "young" "+") ("Anne" "is" "white" "~")) -> ("Anne" "is" "cold" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Anne is white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Bob is not big.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "big" "-")
((triple2) -> (rule3 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is big.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "big" "+")
((triple2) -> (rule3 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is not white.[(triple1)] Bob is cold.[(triple2)] Fiona is not rough.[(triple3)] @1: Bob is not big.[(((triple2) -> rule3))]
Anne is not white.
("Anne" "is" "white" "-")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Bob is not big.
("Bob" "is" "big" "-")
((triple2) -> (rule3 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1