The cat eats the cow. The cat is blue. The cat is cold. The cat is not kind. The cat sees the cow. The cow eats the cat. The cow is blue. The cow is cold. The cow does not need the cat. The cow sees the cat. If something eats the cow then it is young.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow does not need the cat.
("cow" "needs" "cat" "-")
The cow sees the cat.
("cow" "sees" "cat" "+")
If something eats the cow then it is young.
((("something" "eats" "cow" "+")) -> ("something" "is" "young" "+"))
The cow sees the cat.
True
1
proof
[(triple10)]
("cow" "sees" "cat" "+")
triple10
The cat does not see the cow.
False
1
inv-proof
[(triple5)]
("cat" "sees" "cow" "-")
triple5
The cat is young.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "young" "+")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "young" "-")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cat eats the cow.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is not kind.[(triple4)] The cat sees the cow.[(triple5)] The cow does not need the cat.[(triple9)] The cow eats the cat.[(triple6)] The cow is blue.[(triple7)] The cow is cold.[(triple8)] The cow sees the cat.[(triple10)] @1: The cat is young.[(((triple1) -> rule1))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is not kind.
("cat" "is" "kind" "-")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow does not need the cat.
("cow" "needs" "cat" "-")
triple9
The cow eats the cat.
("cow" "eats" "cat" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is cold.
("cow" "is" "cold" "+")
triple8
The cow sees the cat.
("cow" "sees" "cat" "+")
triple10
The cat is young.
("cat" "is" "young" "+")
((triple1) -> (rule1 % int1))
The cat is young.
("cat" "is" "young" "+")
int1