The cow does not chase the tiger. The cow eats the tiger. The cow is not green. The cow is not kind. The cow is rough. The cow does not need the tiger. The tiger does not chase the cow. The tiger eats the cow. The tiger is green. The tiger is kind. The tiger is red. The tiger needs the cow. If something is kind and it eats the cow then it does not eat the tiger. If something eats the tiger and it is not rough then it chases the tiger.
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
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" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
If something is kind and it eats the cow then it does not eat the tiger.
((("something" "is" "kind" "+") ("something" "eats" "cow" "+")) -> ("something" "eats" "tiger" "-"))
If something eats the tiger and it is not rough then it chases the tiger.
((("something" "eats" "tiger" "+") ("something" "is" "rough" "~")) -> ("something" "chases" "tiger" "+"))
The tiger does not chase the cow.
True
1
proof
[(triple7)]
("tiger" "chases" "cow" "-")
triple7
The tiger is not kind.
False
1
inv-proof
[(triple10)]
("tiger" "is" "kind" "-")
triple10
The tiger does not eat the tiger.
True
3
proof
[(((triple10 triple8) -> rule1))]
("tiger" "eats" "tiger" "-")
((triple10 triple8) -> (rule1 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1
The tiger eats the tiger.
False
3
inv-proof
[(((triple10 triple8) -> rule1))]
("tiger" "eats" "tiger" "+")
((triple10 triple8) -> (rule1 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow does not chase the tiger.[(triple1)] The cow does not need the tiger.[(triple6)] The cow eats the tiger.[(triple2)] The cow is not green.[(triple3)] The cow is not kind.[(triple4)] The cow is rough.[(triple5)] The tiger does not chase the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger needs the cow.[(triple12)] @1: The tiger does not eat the tiger.[(((triple10 triple8) -> rule1))]
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple1
The cow does not need the tiger.
("cow" "needs" "tiger" "-")
triple6
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple3
The cow is not kind.
("cow" "is" "kind" "-")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple12
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
((triple10 triple8) -> (rule1 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1