The dog is kind. The lion visits the tiger. The rabbit sees the lion. The tiger is green. If someone is kind then they eat the tiger. If someone is cold and they eat the dog then they visit the lion.
The dog is kind.
("dog" "is" "kind" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone is kind then they eat the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "tiger" "+"))
If someone is cold and they eat the dog then they visit the lion.
((("someone" "is" "cold" "+") ("someone" "eats" "dog" "+")) -> ("someone" "visits" "lion" "+"))
The tiger is green.
True
1
proof
[(triple4)]
("tiger" "is" "green" "+")
triple4
The lion does not visit the tiger.
False
1
inv-proof
[(triple2)]
("lion" "visits" "tiger" "-")
triple2
The dog eats the tiger.
True
2
proof
[(((triple1) -> rule1))]
("dog" "eats" "tiger" "+")
((triple1) -> (rule1 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The dog does not eat the tiger.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "eats" "tiger" "-")
((triple1) -> (rule1 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The rabbit eats the tiger.
Unknown
rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "tiger" "+")
The lion does not visit the dog.
Unknown
inv-random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "-")
The lion eats the dog.
Unknown
random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "+")
@0: The dog is kind.[(triple1)] The lion visits the tiger.[(triple2)] The rabbit sees the lion.[(triple3)] The tiger is green.[(triple4)] @1: The dog eats the tiger.[(((triple1) -> rule1))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple2
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple3
The tiger is green.
("tiger" "is" "green" "+")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
((triple1) -> (rule1 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1