The bald eagle is cold. The cat is cold. The cat is round. The cat needs the bald eagle. The lion is young. The tiger likes the lion. The tiger visits the cat. If something visits the cat then the cat likes the tiger.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The lion is young.
("lion" "is" "young" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something visits the cat then the cat likes the tiger.
((("something" "visits" "cat" "+")) -> ("cat" "likes" "tiger" "+"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The tiger does not visit the cat.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "cat" "-")
triple7
The cat likes the tiger.
True
2
proof
[(((triple7) -> rule1))]
("cat" "likes" "tiger" "+")
((triple7) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The cat does not like the tiger.
False
2
inv-proof
[(((triple7) -> rule1))]
("cat" "likes" "tiger" "-")
((triple7) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The cat needs the lion.
Unknown
random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "+")
The cat does not need the tiger.
Unknown
inv-random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "-")
The bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle is cold.[(triple1)] The cat is cold.[(triple2)] The cat is round.[(triple3)] The cat needs the bald eagle.[(triple4)] The lion is young.[(triple5)] The tiger likes the lion.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat likes the tiger.[(((triple7) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple6
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple7
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple7) -> (rule1 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1