Anne is red. Fiona is round. Gary is not white. If someone is rough and not kind then they are nice. Red people are round.
Anne is red.
("Anne" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is rough and not kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Gary is not white.
True
1
proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is round.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is red.[(triple1)] Fiona is round.[(triple2)] Gary is not white.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Gary is not white.
("Gary" "is" "white" "-")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1