The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is nice. The bald eagle is young. The bald eagle sees the cow. The cat chases the bald eagle. The cat is nice. The cat is rough. The cat is round. The cat sees the bald eagle. The cat visits the bald eagle. The cow chases the bald eagle. The cow chases the cat. The cow sees the cat. The cow visits the cat. If someone sees the cow then they chase the bald eagle. If someone chases the bald eagle and they chase the cow then the cow is cold. If the cat chases the cow and the cow is nice then the cat is rough. If the cat chases the bald eagle then the cat visits the bald eagle. Cold people are round. If someone visits the cow then the cow is nice.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone sees the cow then they chase the bald eagle.
((("someone" "sees" "cow" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle and they chase the cow then the cow is cold.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "cow" "+")) -> ("cow" "is" "cold" "+"))
If the cat chases the cow and the cow is nice then the cat is rough.
((("cat" "chases" "cow" "+") ("cow" "is" "nice" "+")) -> ("cat" "is" "rough" "+"))
If the cat chases the bald eagle then the cat visits the bald eagle.
((("cat" "chases" "bald eagle" "+")) -> ("cat" "visits" "bald eagle" "+"))
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone visits the cow then the cow is nice.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "nice" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple6)]
("cat" "chases" "bald eagle" "+")
triple6
The cat is not round.
False
1
inv-proof
[(triple9)]
("cat" "is" "round" "-")
triple9
The bald eagle chases the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cow is cold.
True
4
proof
[(((((triple5) -> rule1) triple2) -> rule2))]
("cow" "is" "cold" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow is not cold.
False
4
inv-proof
[(((((triple5) -> rule1) triple2) -> rule2))]
("cow" "is" "cold" "-")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow is round.
True
5
proof
[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule5))]
("cow" "is" "round" "+")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The cow is not round.
False
5
inv-proof
[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule5))]
("cow" "is" "round" "-")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3
The cow is not nice.
Unknown
inv-rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "nice" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "round" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The bald eagle does not visit the cat.
Unknown
inv-random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The cow does not see the bald eagle.
Unknown
inv-random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "-")
The cat sees the cow.
Unknown
random
[@0: The cat sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cow" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the cow.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat is nice.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat visits the bald eagle.[(triple11 OR ((triple6) -> rule4))] The cow chases the bald eagle.[(triple12)] The cow chases the cat.[(triple13)] The cow sees the cat.[(triple14)] The cow visits the cat.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple5) -> rule1))] @2: The cow is cold.[(((((triple5) -> rule1) triple2) -> rule2))] @3: The cow is round.[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The cat is round.
("cat" "is" "round" "+")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple10
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple11
((triple6) -> (rule4 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple12
The cow chases the cat.
("cow" "chases" "cat" "+")
triple13
The cow sees the cat.
("cow" "sees" "cat" "+")
triple14
The cow visits the cat.
("cow" "visits" "cat" "+")
triple15
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The cow is round.
("cow" "is" "round" "+")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int3