The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is red. The cow is big. The cow is red. The cow is rough. The cow is round. The cow likes the bald eagle. The cow likes the tiger. The cow visits the bald eagle. The cow visits the tiger. The tiger chases the bald eagle. The tiger is big. The tiger is young. The tiger visits the cow. If something chases the bald eagle then it is rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something chases the bald eagle then it is rough.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
The cow is red.
True
1
proof
[(triple5)]
("cow" "is" "red" "+")
triple5
The tiger is not big.
False
1
inv-proof
[(triple13)]
("tiger" "is" "big" "-")
triple13
The tiger is rough.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is red.[(triple3)] The cow is big.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow likes the tiger.[(triple9)] The cow visits the bald eagle.[(triple10)] The cow visits the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger is big.[(triple13)] The tiger is young.[(triple14)] The tiger visits the cow.[(triple15)] @1: The tiger is rough.[(((triple12) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple8
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple9
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple15
The tiger is rough.
("tiger" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1