The bald eagle is cold. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The dog is green. The dog needs the bald eagle. The dog needs the rabbit. The dog sees the bald eagle. The dog sees the rabbit. The rabbit is cold. The rabbit is rough. The rabbit sees the dog. If something needs the rabbit then it likes the dog. If something likes the rabbit and it needs the dog then the rabbit is rough. If something likes the dog and the dog likes the bald eagle then the dog is rough. If something is rough then it sees the dog. If something needs the bald eagle and the bald eagle needs the dog then it needs the rabbit. If the dog needs the bald eagle and the dog needs the rabbit then the rabbit likes the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something needs the rabbit then it likes the dog.
((("something" "needs" "rabbit" "+")) -> ("something" "likes" "dog" "+"))
If something likes the rabbit and it needs the dog then the rabbit is rough.
((("something" "likes" "rabbit" "+") ("something" "needs" "dog" "+")) -> ("rabbit" "is" "rough" "+"))
If something likes the dog and the dog likes the bald eagle then the dog is rough.
((("something" "likes" "dog" "+") ("dog" "likes" "bald eagle" "+")) -> ("dog" "is" "rough" "+"))
If something is rough then it sees the dog.
((("something" "is" "rough" "+")) -> ("something" "sees" "dog" "+"))
If something needs the bald eagle and the bald eagle needs the dog then it needs the rabbit.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "dog" "+")) -> ("something" "needs" "rabbit" "+"))
If the dog needs the bald eagle and the dog needs the rabbit then the rabbit likes the dog.
((("dog" "needs" "bald eagle" "+") ("dog" "needs" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple3)]
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle does not need the dog.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "dog" "-")
triple4
The dog likes the dog.
True
2
proof
[(((triple7) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1))]
("dog" "likes" "dog" "+")
((triple7) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple6 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The dog does not like the dog.
False
2
inv-proof
[(((triple7) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1))]
("dog" "likes" "dog" "-")
((triple7) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple6 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The bald eagle likes the rabbit.
Unknown
random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The dog is green.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the rabbit.[(triple7 OR ((triple6 triple4) -> rule5))] The dog sees the bald eagle.[(triple8)] The dog sees the rabbit.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is rough.[(triple11)] The rabbit sees the dog.[(triple12 OR ((triple11) -> rule4))] @1: The dog likes the dog.[(((triple7) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1))] The rabbit likes the dog.[(((triple6 triple7) -> rule6) OR ((triple6 ((triple6 triple4) -> rule5)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple6
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple7
((triple6 triple4) -> (rule5 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple8
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple12
((triple11) -> (rule4 % int1))
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple7) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
((((triple6 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple6 triple7) -> (rule6 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple6 ((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2