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