The bald eagle does not chase the lion. The dog chases the tiger. The lion needs the tiger. The tiger chases the dog. If someone chases the dog then they are not rough.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
If someone chases the dog then they are not rough.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "rough" "-"))
The tiger chases the dog.
True
1
proof
[(triple4)]
("tiger" "chases" "dog" "+")
triple4
The tiger does not chase the dog.
False
1
inv-proof
[(triple4)]
("tiger" "chases" "dog" "-")
triple4
The tiger is not rough.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1
The tiger is rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1
The dog does not like the bald eagle.
Unknown
inv-random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The bald eagle does not chase the lion.[(triple1)] The dog chases the tiger.[(triple2)] The lion needs the tiger.[(triple3)] The tiger chases the dog.[(triple4)] @1: The tiger is not rough.[(((triple4) -> rule1))]
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple4
The tiger is not rough.
("tiger" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The tiger is not rough.
("tiger" "is" "rough" "-")
int1