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