The bald eagle is kind. The dog visits the bald eagle. The lion chases the dog. The rabbit visits the lion. If the rabbit visits the lion then the lion is cold.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the rabbit visits the lion then the lion is cold.
((("rabbit" "visits" "lion" "+")) -> ("lion" "is" "cold" "+"))
The dog visits the bald eagle.
True
1
proof
[(triple2)]
("dog" "visits" "bald eagle" "+")
triple2
The rabbit does not visit the lion.
False
1
inv-proof
[(triple4)]
("rabbit" "visits" "lion" "-")
triple4
The lion is cold.
True
2
proof
[(((triple4) -> rule1))]
("lion" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("lion" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The lion sees the bald eagle.
Unknown
random
[@0: The lion sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The dog visits the bald eagle.[(triple2)] The lion chases the dog.[(triple3)] The rabbit visits the lion.[(triple4)] @1: The lion is cold.[(((triple4) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple2
The lion chases the dog.
("lion" "chases" "dog" "+")
triple3
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1