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