The bald eagle chases the tiger. The dog is rough. The tiger is kind. If someone is kind and they chase the tiger then the tiger chases the dog. If someone is kind then they chase the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone is kind and they chase the tiger then the tiger chases the dog.
((("someone" "is" "kind" "+") ("someone" "chases" "tiger" "+")) -> ("tiger" "chases" "dog" "+"))
If someone is kind then they chase the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The dog is not rough.
False
1
inv-proof
[(triple2)]
("dog" "is" "rough" "-")
triple2
The tiger chases the tiger.
True
2
proof
[(((triple3) -> rule2))]
("tiger" "chases" "tiger" "+")
((triple3) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple3) -> rule2))]
("tiger" "chases" "tiger" "-")
((triple3) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger chases the dog.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("tiger" "chases" "dog" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger does not chase the dog.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule1))]
("tiger" "chases" "dog" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The dog does not chase the tiger.
Unknown
inv-rconc
[@1: The dog chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The dog does not see the bald eagle.
Unknown
inv-random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "-")
The dog needs the tiger.
Unknown
random
[@0: The dog needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "tiger" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The tiger sees the dog.
Unknown
random
[@0: The tiger sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "dog" "+")
@0: The bald eagle chases the tiger.[(triple1)] The dog is rough.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger chases the tiger.[(((triple3) -> rule2))] @2: The tiger chases the dog.[(((triple3 ((triple3) -> rule2)) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple3) -> (rule2 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2