The lion eats the tiger. The tiger likes the lion. If the tiger likes the lion then the lion sees the tiger.
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
If the tiger likes the lion then the lion sees the tiger.
((("tiger" "likes" "lion" "+")) -> ("lion" "sees" "tiger" "+"))
The tiger likes the lion.
True
1
proof
[(triple2)]
("tiger" "likes" "lion" "+")
triple2
The tiger does not like the lion.
False
1
inv-proof
[(triple2)]
("tiger" "likes" "lion" "-")
triple2
The lion sees the tiger.
True
2
proof
[(((triple2) -> rule1))]
("lion" "sees" "tiger" "+")
((triple2) -> (rule1 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The lion does not see the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "sees" "tiger" "-")
((triple2) -> (rule1 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion eats the tiger.[(triple1)] The tiger likes the lion.[(triple2)] @1: The lion sees the tiger.[(((triple2) -> rule1))]
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple1
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
((triple2) -> (rule1 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1