The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is young. The bald eagle visits the dog. The dog chases the bald eagle. The dog chases the tiger. The dog is nice. The dog does not visit the bald eagle. The mouse sees the dog. The mouse sees the tiger. The mouse visits the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is rough. The tiger is young. If the tiger sees the dog then the tiger chases the mouse. If something chases the dog then the dog visits the tiger. If something chases the dog and it sees the bald eagle then the bald eagle sees the tiger. If something is big then it chases the tiger. If the bald eagle sees the tiger and the bald eagle does not chase the mouse then the mouse is big. If something is young and it visits the bald eagle then it is not big. If something is young then it chases the dog. If something is big and it does not chase the dog then it does not visit the tiger.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the tiger sees the dog then the tiger chases the mouse.
((("tiger" "sees" "dog" "+")) -> ("tiger" "chases" "mouse" "+"))
If something chases the dog then the dog visits the tiger.
((("something" "chases" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
If something chases the dog and it sees the bald eagle then the bald eagle sees the tiger.
((("something" "chases" "dog" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If something is big then it chases the tiger.
((("something" "is" "big" "+")) -> ("something" "chases" "tiger" "+"))
If the bald eagle sees the tiger and the bald eagle does not chase the mouse then the mouse is big.
((("bald eagle" "sees" "tiger" "+") ("bald eagle" "chases" "mouse" "~")) -> ("mouse" "is" "big" "+"))
If something is young and it visits the bald eagle then it is not big.
((("something" "is" "young" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "-"))
If something is young then it chases the dog.
((("something" "is" "young" "+")) -> ("something" "chases" "dog" "+"))
If something is big and it does not chase the dog then it does not visit the tiger.
((("something" "is" "big" "+") ("something" "chases" "dog" "~")) -> ("something" "visits" "tiger" "-"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not young.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "young" "-")
triple3
The tiger does not chase the mouse.
Unknown
inv-rconc
[@1: The tiger chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "mouse" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the tiger.[(triple6)] The dog does not visit the bald eagle.[(triple8)] The dog is nice.[(triple7)] The mouse sees the dog.[(triple9)] The mouse sees the tiger.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger is blue.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] @1: The bald eagle chases the dog.[(((triple3) -> rule7))] The tiger chases the dog.[(((triple15) -> rule7))] @2: The dog visits the tiger.[(((((triple15) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple6
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple7
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple9
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple10
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger is blue.
("tiger" "is" "blue" "+")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple3) -> (rule7 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((triple15) -> (rule7 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
((((triple15) -> (rule7 % int2))) -> (rule2 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int2