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