The cat eats the lion. The cat does not need the cow. The cat needs the lion. The cat sees the cow. The cow eats the lion. The cow is big. The cow is not nice. The cow does not see the cat. The lion is rough. The lion needs the cat. The lion needs the cow. The lion does not see the cow. The lion does not see the tiger. The tiger is rough. The tiger does not need the cow. The tiger sees the cat. If something eats the lion and the lion needs the cow then it is rough. If something sees the cow then it is nice.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow does not see the cat.
("cow" "sees" "cat" "-")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion does not see the cow.
("lion" "sees" "cow" "-")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something eats the lion and the lion needs the cow then it is rough.
((("something" "eats" "lion" "+") ("lion" "needs" "cow" "+")) -> ("something" "is" "rough" "+"))
If something sees the cow then it is nice.
((("something" "sees" "cow" "+")) -> ("something" "is" "nice" "+"))
The cow eats the lion.
True
1
proof
[(triple5)]
("cow" "eats" "lion" "+")
triple5
The cow does not eat the lion.
False
1
inv-proof
[(triple5)]
("cow" "eats" "lion" "-")
triple5
The cat is rough.
True
3
proof
[(((triple1 triple11) -> rule1))]
("cat" "is" "rough" "+")
((triple1 triple11) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not nice.
False
2
inv-proof
[(((triple4) -> rule2))]
("cat" "is" "nice" "-")
((triple4) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "nice" "-")
The tiger is nice.
Unknown
rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "nice" "+")
The cow does not eat the tiger.
Unknown
inv-random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "-")
The cat needs the tiger.
Unknown
random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "+")
@0: The cat does not need the cow.[(triple2)] The cat eats the lion.[(triple1)] The cat needs the lion.[(triple3)] The cat sees the cow.[(triple4)] The cow does not see the cat.[(triple8)] The cow eats the lion.[(triple5)] The cow is big.[(triple6)] The cow is not nice.[(triple7)] The lion does not see the cow.[(triple12)] The lion does not see the tiger.[(triple13)] The lion is rough.[(triple9)] The lion needs the cat.[(triple10)] The lion needs the cow.[(triple11)] The tiger does not need the cow.[(triple15)] The tiger is rough.[(triple14)] The tiger sees the cat.[(triple16)] @1: The cat is nice.[(((triple4) -> rule2))] The cat is rough.[(((triple1 triple11) -> rule1))] The cow is rough.[(((triple5 triple11) -> rule1))]
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple2
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple4
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple8
The cow eats the lion.
("cow" "eats" "lion" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is not nice.
("cow" "is" "nice" "-")
triple7
The lion does not see the cow.
("lion" "sees" "cow" "-")
triple12
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple13
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The lion needs the cow.
("lion" "needs" "cow" "+")
triple11
The tiger does not need the cow.
("tiger" "needs" "cow" "-")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The cat is nice.
("cat" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((triple1 triple11) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple5 triple11) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1