The bald eagle visits the dog. The dog chases the bald eagle. The dog is round. If someone visits the dog then they see the dog. If someone is round then they see the dog. If someone chases the bald eagle and they are green then they are kind. If someone chases the bald eagle then the bald eagle chases the dog. If someone sees the dog then the dog is green. If someone visits the bald eagle and the bald eagle visits the dog then the dog is round.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is round.
("dog" "is" "round" "+")
If someone visits the dog then they see the dog.
((("someone" "visits" "dog" "+")) -> ("someone" "sees" "dog" "+"))
If someone is round then they see the dog.
((("someone" "is" "round" "+")) -> ("someone" "sees" "dog" "+"))
If someone chases the bald eagle and they are green then they are kind.
((("someone" "chases" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the bald eagle then the bald eagle chases the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If someone sees the dog then the dog is green.
((("someone" "sees" "dog" "+")) -> ("dog" "is" "green" "+"))
If someone visits the bald eagle and the bald eagle visits the dog then the dog is round.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("dog" "is" "round" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The bald eagle does not visit the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "dog" "-")
triple1
The dog sees the dog.
True
2
proof
[(((triple3) -> rule2))]
("dog" "sees" "dog" "+")
((triple3) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "sees" "dog" "-")
((triple3) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule5))]
("dog" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule5))]
("dog" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle visits the dog.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog is round.[(triple3)] @1: The bald eagle chases the dog.[(((triple2) -> rule4))] The bald eagle sees the dog.[(((triple1) -> rule1))] The dog sees the dog.[(((triple3) -> rule2))] @2: The dog is green.[(((((triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] @3: The dog is kind.[(((triple2 ((((triple1) -> rule1)) -> rule5)) -> rule3) OR ((triple2 ((((triple3) -> rule2)) -> rule5)) -> rule3))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple2) -> (rule4 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple3) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((triple2 ((((triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
((triple2 ((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
int3