The bald eagle chases the dog. The bald eagle is blue. The bald eagle is not round. The bald eagle does not visit the dog. The bald eagle visits the rabbit. The dog chases the rabbit. The dog is young. The dog visits the rabbit. The rabbit does not chase the dog. The rabbit is kind. The rabbit sees the dog. The rabbit does not visit the dog. If someone chases the rabbit and the rabbit visits the bald eagle then the bald eagle is kind. If someone chases the bald eagle and they see the bald eagle then they are blue. If someone sees the bald eagle then they chase the rabbit. If the rabbit visits the bald eagle then the bald eagle does not chase the dog. If someone chases the dog then they see the bald eagle. If the dog chases the rabbit then the dog sees the rabbit. If someone is blue and they chase the rabbit then they chase the bald eagle. If someone chases the bald eagle then the bald eagle sees the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
If someone chases the rabbit and the rabbit visits the bald eagle then the bald eagle is kind.
((("someone" "chases" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone chases the bald eagle and they see the bald eagle then they are blue.
((("someone" "chases" "bald eagle" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the bald eagle then they chase the rabbit.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If the rabbit visits the bald eagle then the bald eagle does not chase the dog.
((("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "-"))
If someone chases the dog then they see the bald eagle.
((("someone" "chases" "dog" "+")) -> ("someone" "sees" "bald eagle" "+"))
If the dog chases the rabbit then the dog sees the rabbit.
((("dog" "chases" "rabbit" "+")) -> ("dog" "sees" "rabbit" "+"))
If someone is blue and they chase the rabbit then they chase the bald eagle.
((("someone" "is" "blue" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle sees the dog.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the bald eagle.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog does not see the rabbit.
False
2
inv-proof
[(((triple6) -> rule6))]
("dog" "sees" "rabbit" "-")
((triple6) -> (rule6 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The bald eagle chases the rabbit.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle does not chase the rabbit.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("bald eagle" "chases" "rabbit" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
True
5
proof
[(((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((triple2 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle does not chase the bald eagle.
False
5
inv-proof
[(((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((triple2 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The rabbit sees the bald eagle.
Unknown
rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The dog is not blue.
Unknown
inv-rconc
[@2: The dog is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("dog" "is" "blue" "-")
The dog sees the bald eagle.
Unknown
rconc
[@1: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "sees" "bald eagle" "+")
The bald eagle does not see the rabbit.
Unknown
inv-random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
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 chases the dog.[(triple1)] The bald eagle does not visit the dog.[(triple4)] The bald eagle is blue.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle visits the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog is young.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit does not chase the dog.[(triple9)] The rabbit does not visit the dog.[(triple12)] The rabbit is kind.[(triple10)] The rabbit sees the dog.[(triple11)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule5))] The dog sees the rabbit.[(((triple6) -> rule6))] @2: The bald eagle chases the rabbit.[(((((triple1) -> rule5)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule7))] @4: The bald eagle sees the dog.[(((((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule7)) -> rule8))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple5
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
triple9
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple11
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple6) -> (rule6 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2 ((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((((triple2 ((((triple1) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4