The bear eats the cat. The cat needs the tiger. The lion needs the cat. The tiger eats the cat. If something eats the cat then the cat is rough. If the cat does not see the bear then the cat does not eat the tiger.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If something eats the cat then the cat is rough.
((("something" "eats" "cat" "+")) -> ("cat" "is" "rough" "+"))
If the cat does not see the bear then the cat does not eat the tiger.
((("cat" "sees" "bear" "~")) -> ("cat" "eats" "tiger" "-"))
The lion needs the cat.
True
1
proof
[(triple3)]
("lion" "needs" "cat" "+")
triple3
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The cat is rough.
True
2
proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cat" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cat" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The bear does not need the tiger.
Unknown
inv-random
[@0: The bear needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "tiger" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The lion does not need the bear.
Unknown
inv-random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
@0: The bear eats the cat.[(triple1)] The cat needs the tiger.[(triple2)] The lion needs the cat.[(triple3)] The tiger eats the cat.[(triple4)] @1: The cat is rough.[(((triple1) -> rule1) OR ((triple4) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple2
The lion needs the cat.
("lion" "needs" "cat" "+")
triple3
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1