The cat is red. If something is green then it is blue. Red things are blue. If something is green and rough then it is round.
The cat is red.
("cat" "is" "red" "+")
If something is green then it is blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is green and rough then it is round.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
The cat is red.
True
1
proof
[(triple1)]
("cat" "is" "red" "+")
triple1
The cat is not red.
False
1
inv-proof
[(triple1)]
("cat" "is" "red" "-")
triple1
The cat is blue.
True
2
proof
[(((triple1) -> rule2))]
("cat" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("cat" "is" "blue" "-")
((triple1) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "round" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is red.[(triple1)] @1: The cat is blue.[(((triple1) -> rule2))]
The cat is red.
("cat" "is" "red" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
((triple1) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1