The cat chases the cow. The cat is big. The cat is rough. The cat does not visit the cow. The cow chases the cat. The cow is big. The cow is not kind. The cow is rough. The cow likes the cat. The cow visits the cat. If someone is big then they like the cow. If someone likes the cat then they do not visit the cow. If someone likes the cow then the cow is big. If someone is kind and they do not chase the cow then they chase the cat. All cold people are blue. If someone chases the cow and they do not visit the cow then they are cold.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone is big then they like the cow.
((("someone" "is" "big" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the cat then they do not visit the cow.
((("someone" "likes" "cat" "+")) -> ("someone" "visits" "cow" "-"))
If someone likes the cow then the cow is big.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "big" "+"))
If someone is kind and they do not chase the cow then they chase the cat.
((("someone" "is" "kind" "+") ("someone" "chases" "cow" "~")) -> ("someone" "chases" "cat" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the cow and they do not visit the cow then they are cold.
((("someone" "chases" "cow" "+") ("someone" "visits" "cow" "~")) -> ("someone" "is" "cold" "+"))
The cow visits the cat.
True
1
proof
[(triple10)]
("cow" "visits" "cat" "+")
triple10
The cow does not visit the cat.
False
1
inv-proof
[(triple10)]
("cow" "visits" "cat" "-")
triple10
The cat likes the cow.
True
2
proof
[(((triple2) -> rule1))]
("cat" "likes" "cow" "+")
((triple2) -> (rule1 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple6) -> rule1) OR ((((((triple2) -> rule1)) -> rule3)) -> rule1))]
("cow" "likes" "cow" "-")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The cat is blue.
True
4
proof
[(((((triple1 triple4) -> rule6)) -> rule5))]
("cat" "is" "blue" "+")
((((triple1 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat is not blue.
False
4
inv-proof
[(((((triple1 triple4) -> rule6)) -> rule5))]
("cat" "is" "blue" "-")
((((triple1 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The cat does not chase the cat.
Unknown
inv-rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "cat" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "cold" "+")
The cow is not blue.
Unknown
inv-rconc
[@2: The cow is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("cow" "is" "blue" "-")
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 kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cat chases the cow.[(triple1)] The cat does not visit the cow.[(triple4)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The cow chases the cat.[(triple5)] The cow is big.[(triple6 OR ((((triple2) -> rule1)) -> rule3))] The cow is not kind.[(triple7)] The cow is rough.[(triple8)] The cow likes the cat.[(triple9)] The cow visits the cat.[(triple10)] @1: The cat is cold.[(((triple1 triple4) -> rule6))] The cat likes the cow.[(((triple2) -> rule1))] The cow does not visit the cow.[(((triple9) -> rule2))] The cow likes the cow.[(((triple6) -> rule1) OR ((((((triple2) -> rule1)) -> rule3)) -> rule1))] @2: The cat is blue.[(((((triple1 triple4) -> rule6)) -> rule5))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple4
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The cow is not kind.
("cow" "is" "kind" "-")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow likes the cat.
("cow" "likes" "cat" "+")
triple9
The cow visits the cat.
("cow" "visits" "cat" "+")
triple10
The cat is cold.
("cat" "is" "cold" "+")
((triple1 triple4) -> (rule6 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
((triple2) -> (rule1 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow does not visit the cow.
("cow" "visits" "cow" "-")
((triple9) -> (rule2 % int1))
The cow does not visit the cow.
("cow" "visits" "cow" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
((((triple1 triple4) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2