Anne is red. Anne is white. Fiona is smart. If Fiona is not white then Fiona is not red. If something is nice then it is rough. If something is white and not red then it is nice. All rough things are not smart. Red things are not smart. If Anne is not nice and Anne is not white then Anne is rough.
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is not white then Fiona is not red.
((("Fiona" "is" "white" "~")) -> ("Fiona" "is" "red" "-"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is white and not red then it is nice.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "nice" "+"))
All rough things are not smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "-"))
Red things are not smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "-"))
If Anne is not nice and Anne is not white then Anne is rough.
((("Anne" "is" "nice" "~") ("Anne" "is" "white" "~")) -> ("Anne" "is" "rough" "+"))
Fiona is smart.
True
1
proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Anne is not smart.
True
2
proof
[(((triple1) -> rule5))]
("Anne" "is" "smart" "-")
((triple1) -> (rule5 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Anne is smart.
False
2
inv-proof
[(((triple1) -> rule5))]
("Anne" "is" "smart" "+")
((triple1) -> (rule5 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "nice" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is red.[(triple1)] Anne is white.[(triple2)] Fiona is smart.[(triple3)] @1: Anne is not smart.[(((triple1) -> rule5))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Anne is not smart.
("Anne" "is" "smart" "-")
((triple1) -> (rule5 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1