The bald eagle sees the tiger. The dog is blue. The dog is green. The dog needs the bald eagle. The dog needs the tiger. The dog sees the bald eagle. The dog visits the bald eagle. The dog visits the tiger. The tiger is blue. The tiger needs the bald eagle. The tiger needs the dog. The tiger sees the bald eagle. The tiger sees the dog. The tiger visits the bald eagle. The tiger visits the dog. If something is green and it sees the tiger then it needs the bald eagle. If the dog is young then the dog is blue. If the dog needs the bald eagle and the bald eagle sees the dog then the dog sees the bald eagle. If something visits the bald eagle and the bald eagle needs the tiger then it is kind. If something visits the dog then it visits the bald eagle. If something is young and it sees the bald eagle then it is round. If something is blue then it needs the dog. If the bald eagle needs the dog and the dog needs the bald eagle then the bald eagle is kind.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
If something is green and it sees the tiger then it needs the bald eagle.
((("something" "is" "green" "+") ("something" "sees" "tiger" "+")) -> ("something" "needs" "bald eagle" "+"))
If the dog is young then the dog is blue.
((("dog" "is" "young" "+")) -> ("dog" "is" "blue" "+"))
If the dog needs the bald eagle and the bald eagle sees the dog then the dog sees the bald eagle.
((("dog" "needs" "bald eagle" "+") ("bald eagle" "sees" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle needs the tiger then it is kind.
((("something" "visits" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("something" "is" "kind" "+"))
If something visits the dog then it visits the bald eagle.
((("something" "visits" "dog" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is young and it sees the bald eagle then it is round.
((("something" "is" "young" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something is blue then it needs the dog.
((("something" "is" "blue" "+")) -> ("something" "needs" "dog" "+"))
If the bald eagle needs the dog and the dog needs the bald eagle then the bald eagle is kind.
((("bald eagle" "needs" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple12)]
("tiger" "sees" "bald eagle" "+")
triple12
The dog does not need the tiger.
False
1
inv-proof
[(triple5)]
("dog" "needs" "tiger" "-")
triple5
The dog needs the dog.
True
2
proof
[(((triple2) -> rule7))]
("dog" "needs" "dog" "+")
((triple2) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple2) -> rule7))]
("dog" "needs" "dog" "-")
((triple2) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The tiger is not kind.
Unknown
inv-rconc
[@1: The tiger is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "kind" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
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 bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle sees the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog needs the bald eagle.[(triple4)] The dog needs the tiger.[(triple5)] The dog sees the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] The dog visits the tiger.[(triple8)] The tiger is blue.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger needs the dog.[(triple11 OR ((triple9) -> rule7))] The tiger sees the bald eagle.[(triple12)] The tiger sees the dog.[(triple13)] The tiger visits the bald eagle.[(triple14 OR ((triple15) -> rule5))] The tiger visits the dog.[(triple15)] @1: The dog needs the dog.[(((triple2) -> rule7))]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
((triple9) -> (rule7 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
((triple15) -> (rule5 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple15
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple2) -> (rule7 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1