The cow chases the tiger. The cow is cold. The cow is young. The cow likes the tiger. The cow visits the tiger. The tiger is cold. The tiger is young. If something visits the tiger and it chases the tiger then the tiger likes the cow. If the tiger likes the cow and the cow chases the tiger then the tiger chases the cow. If something visits the cow then it likes the tiger.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something visits the tiger and it chases the tiger then the tiger likes the cow.
((("something" "visits" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "likes" "cow" "+"))
If the tiger likes the cow and the cow chases the tiger then the tiger chases the cow.
((("tiger" "likes" "cow" "+") ("cow" "chases" "tiger" "+")) -> ("tiger" "chases" "cow" "+"))
If something visits the cow then it likes the tiger.
((("something" "visits" "cow" "+")) -> ("something" "likes" "tiger" "+"))
The tiger is young.
True
1
proof
[(triple7)]
("tiger" "is" "young" "+")
triple7
The cow does not like the tiger.
False
1
inv-proof
[(triple4)]
("cow" "likes" "tiger" "-")
triple4
The tiger likes the cow.
True
3
proof
[(((triple5 triple1) -> rule1))]
("tiger" "likes" "cow" "+")
((triple5 triple1) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger does not like the cow.
False
3
inv-proof
[(((triple5 triple1) -> rule1))]
("tiger" "likes" "cow" "-")
((triple5 triple1) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger chases the cow.
True
5
proof
[(((((triple5 triple1) -> rule1) triple1) -> rule2))]
("tiger" "chases" "cow" "+")
((((triple5 triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2
The tiger does not chase the cow.
False
5
inv-proof
[(((((triple5 triple1) -> rule1) triple1) -> rule2))]
("tiger" "chases" "cow" "-")
((((triple5 triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger does not visit the cow.
Unknown
inv-random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
@0: The cow chases the tiger.[(triple1)] The cow is cold.[(triple2)] The cow is young.[(triple3)] The cow likes the tiger.[(triple4)] The cow visits the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger is young.[(triple7)] @1: The tiger likes the cow.[(((triple5 triple1) -> rule1))] @2: The tiger chases the cow.[(((((triple5 triple1) -> rule1) triple1) -> rule2))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow is cold.
("cow" "is" "cold" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple5
The tiger is cold.
("tiger" "is" "cold" "+")
triple6
The tiger is young.
("tiger" "is" "young" "+")
triple7
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple5 triple1) -> (rule1 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((((triple5 triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2