The cow eats the tiger. The cow is big. The cow likes the lion. The cow likes the rabbit. The cow likes the tiger. The cow visits the tiger. The lion eats the cow. The lion is big. The lion visits the tiger. The rabbit eats the lion. The rabbit is kind. The rabbit likes the cow. The tiger is big. The tiger likes the rabbit. The tiger visits the rabbit. If someone is kind then they are rough. If someone visits the rabbit then they are kind. If someone is kind and they like the tiger then they visit the rabbit.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is big.
("lion" "is" "big" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the rabbit then they are kind.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and they like the tiger then they visit the rabbit.
((("someone" "is" "kind" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "visits" "rabbit" "+"))
The cow likes the lion.
True
1
proof
[(triple3)]
("cow" "likes" "lion" "+")
triple3
The cow is not big.
False
1
inv-proof
[(triple2)]
("cow" "is" "big" "-")
triple2
The rabbit is rough.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "is" "rough" "+")
((triple11) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple15) -> rule2))]
("tiger" "is" "kind" "-")
((triple15) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is rough.
True
3
proof
[(((((triple15) -> rule2)) -> rule1))]
("tiger" "is" "rough" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is not rough.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule1))]
("tiger" "is" "rough" "-")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The cow does not visit the rabbit.
Unknown
inv-rconc
[@2: The cow visits the rabbit.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("cow" "visits" "rabbit" "-")
The cow is rough.
Unknown
rconc
[@3: The cow is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("cow" "is" "rough" "+")
The lion does not visit the rabbit.
Unknown
inv-rconc
[@1: The lion visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "rabbit" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The rabbit does not like the lion.
Unknown
inv-random
[@0: The rabbit likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "lion" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow eats the tiger.[(triple1)] The cow is big.[(triple2)] The cow likes the lion.[(triple3)] The cow likes the rabbit.[(triple4)] The cow likes the tiger.[(triple5)] The cow visits the tiger.[(triple6)] The lion eats the cow.[(triple7)] The lion is big.[(triple8)] The lion visits the tiger.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is kind.[(triple11)] The rabbit likes the cow.[(triple12)] The tiger is big.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit is rough.[(((triple11) -> rule1))] The tiger is kind.[(((triple15) -> rule2))] @2: The tiger is rough.[(((((triple15) -> rule2)) -> rule1))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow likes the lion.
("cow" "likes" "lion" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple6
The lion eats the cow.
("lion" "eats" "cow" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple9
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple15
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple11) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple15) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2