The bald eagle chases the dog. The bald eagle likes the rabbit. The dog chases the rabbit. The dog likes the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit sees the dog. If someone sees the rabbit and the rabbit likes the dog then they are red. If someone sees the bald eagle and they chase the bald eagle then the bald eagle is red. If someone likes the dog then the dog sees the rabbit.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone sees the rabbit and the rabbit likes the dog then they are red.
((("someone" "sees" "rabbit" "+") ("rabbit" "likes" "dog" "+")) -> ("someone" "is" "red" "+"))
If someone sees the bald eagle and they chase the bald eagle then the bald eagle is red.
((("someone" "sees" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone likes the dog then the dog sees the rabbit.
((("someone" "likes" "dog" "+")) -> ("dog" "sees" "rabbit" "+"))
The dog likes the rabbit.
True
1
proof
[(triple4)]
("dog" "likes" "rabbit" "+")
triple4
The dog does not like the rabbit.
False
1
inv-proof
[(triple4)]
("dog" "likes" "rabbit" "-")
triple4
The dog sees the rabbit.
True
2
proof
[(((triple9) -> rule3))]
("dog" "sees" "rabbit" "+")
((triple9) -> (rule3 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog does not see the rabbit.
False
2
inv-proof
[(((triple9) -> rule3))]
("dog" "sees" "rabbit" "-")
((triple9) -> (rule3 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is red.
True
4
proof
[(((((triple9) -> rule3) triple9) -> rule1))]
("dog" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The dog is not red.
False
4
inv-proof
[(((((triple9) -> rule3) triple9) -> rule1))]
("dog" "is" "red" "-")
((((triple9) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The dog chases the rabbit.[(triple3)] The dog likes the rabbit.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is rough.[(triple7)] The rabbit likes the bald eagle.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog sees the rabbit.[(((triple9) -> rule3))] @2: The dog is red.[(((((triple9) -> rule3) triple9) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple3
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple4
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple8
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple9) -> (rule3 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((((triple9) -> (rule3 % int2)) triple9) -> (rule1 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int2