The cow eats the tiger. The cow is kind. The cow is nice. The cow is round. The cow likes the tiger. The cow visits the tiger. The tiger eats the cow. The tiger is green. The tiger is nice. The tiger likes the cow. If something likes the tiger and the tiger eats the cow then it is rough. If the cow visits the tiger then the tiger eats the cow. If something visits the cow then it likes the tiger.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If something likes the tiger and the tiger eats the cow then it is rough.
((("something" "likes" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("something" "is" "rough" "+"))
If the cow visits the tiger then the tiger eats the cow.
((("cow" "visits" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If something visits the cow then it likes the tiger.
((("something" "visits" "cow" "+")) -> ("something" "likes" "tiger" "+"))
The tiger eats the cow.
True
1
proof
[(triple7 OR ((triple6) -> rule2))]
("tiger" "eats" "cow" "+")
triple7
((triple6) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The cow is not round.
False
1
inv-proof
[(triple4)]
("cow" "is" "round" "-")
triple4
The tiger is not rough.
Unknown
inv-rconc
[@2: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("tiger" "is" "rough" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The cow eats the tiger.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is round.[(triple4)] The cow likes the tiger.[(triple5)] The cow visits the tiger.[(triple6)] The tiger eats the cow.[(triple7 OR ((triple6) -> rule2))] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the cow.[(triple10)] @1: The cow is rough.[(((triple5 triple7) -> rule1) OR ((triple5 ((triple6) -> rule2)) -> rule1))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple5
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple6
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple7
((triple6) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple10
The cow is rough.
("cow" "is" "rough" "+")
((triple5 triple7) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple5 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int2