The bald eagle is kind. The bald eagle likes the tiger. The bald eagle needs the dog. The dog is not kind. The dog is red. The dog needs the bald eagle. The tiger eats the dog. If something likes the dog then it is nice. If something likes the tiger then it likes the dog.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
If something likes the dog then it is nice.
((("something" "likes" "dog" "+")) -> ("something" "is" "nice" "+"))
If something likes the tiger then it likes the dog.
((("something" "likes" "tiger" "+")) -> ("something" "likes" "dog" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple3)]
("bald eagle" "needs" "dog" "+")
triple3
The dog is kind.
False
1
inv-proof
[(triple4)]
("dog" "is" "kind" "+")
triple4
The bald eagle likes the dog.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "likes" "dog" "+")
((triple2) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle does not like the dog.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "likes" "dog" "-")
((triple2) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is nice.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("bald eagle" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is not nice.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("bald eagle" "is" "nice" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The tiger does not like the dog.
Unknown
inv-rconc
[@1: The tiger likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "likes" "dog" "-")
The tiger is nice.
Unknown
rconc
[@2: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "is" "nice" "+")
The dog is not nice.
Unknown
inv-rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "is" "nice" "-")
The dog needs the tiger.
Unknown
random
[@0: The dog needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "tiger" "+")
The dog does not like the tiger.
Unknown
inv-random
[@0: The dog likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "tiger" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the dog.[(triple3)] The dog is not kind.[(triple4)] The dog is red.[(triple5)] The dog needs the bald eagle.[(triple6)] The tiger eats the dog.[(triple7)] @1: The bald eagle likes the dog.[(((triple2) -> rule2))] @2: The bald eagle is nice.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The dog is not kind.
("dog" "is" "kind" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple6
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple7
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple2) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2