The cat is red. If someone is red then they are blue. If someone is cold then they are green. If someone is blue and not red then they are green. If the cat is not blue then the cat is not cold. If someone is red and not cold then they are young. Cold people are young. All blue, cold people are young. If someone is red then they are young.
The cat is red.
("cat" "is" "red" "+")
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and not red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "green" "+"))
If the cat is not blue then the cat is not cold.
((("cat" "is" "blue" "~")) -> ("cat" "is" "cold" "-"))
If someone is red and not cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All blue, cold people are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
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 young.
True
2
proof
[(((triple1) -> rule8))]
("cat" "is" "young" "+")
((triple1) -> (rule8 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple1) -> rule8))]
("cat" "is" "young" "-")
((triple1) -> (rule8 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule2 <- 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" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is red.[(triple1)] @1: The cat is blue.[(((triple1) -> rule1))] The cat is young.[(((triple1) -> rule8))]
The cat is red.
("cat" "is" "red" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple1) -> (rule8 % int1))
The cat is young.
("cat" "is" "young" "+")
int1