The bald eagle likes the cow. The bald eagle visits the tiger. The cow is not cold. The cow likes the tiger. The cow does not see the tiger. The cow visits the bald eagle. The tiger is cold. The tiger likes the bald eagle. The tiger sees the cow. The tiger visits the bald eagle. If something visits the tiger then it is not rough. If something is kind then it visits the tiger. If something likes the tiger then it is red. If something is cold then it does not see the bald eagle. If something is round then it visits the bald eagle. If something is kind and it does not see the cow then it visits the bald eagle. If something visits the bald eagle and the bald eagle is cold then the bald eagle likes the tiger. If something sees the cow then the cow does not see the tiger.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is not cold.
("cow" "is" "cold" "-")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow does not see the tiger.
("cow" "sees" "tiger" "-")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something visits the tiger then it is not rough.
((("something" "visits" "tiger" "+")) -> ("something" "is" "rough" "-"))
If something is kind then it visits the tiger.
((("something" "is" "kind" "+")) -> ("something" "visits" "tiger" "+"))
If something likes the tiger then it is red.
((("something" "likes" "tiger" "+")) -> ("something" "is" "red" "+"))
If something is cold then it does not see the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "sees" "bald eagle" "-"))
If something is round then it visits the bald eagle.
((("something" "is" "round" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is kind and it does not see the cow then it visits the bald eagle.
((("something" "is" "kind" "+") ("something" "sees" "cow" "~")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle and the bald eagle is cold then the bald eagle likes the tiger.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "tiger" "+"))
If something sees the cow then the cow does not see the tiger.
((("something" "sees" "cow" "+")) -> ("cow" "sees" "tiger" "-"))
The bald eagle visits the tiger.
True
1
proof
[(triple2)]
("bald eagle" "visits" "tiger" "+")
triple2
The bald eagle does not like the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The tiger does not see the bald eagle.
True
2
proof
[(((triple7) -> rule4))]
("tiger" "sees" "bald eagle" "-")
((triple7) -> (rule4 % int1))
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
int1
The tiger sees the bald eagle.
False
2
inv-proof
[(((triple7) -> rule4))]
("tiger" "sees" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
int1
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "red" "-")
The bald eagle likes the tiger.
Unknown
rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "likes" "tiger" "+")
The tiger does not like the cow.
Unknown
inv-random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cow does not see the tiger.[(triple5 OR ((triple9) -> rule8))] The cow is not cold.[(triple3)] The cow likes the tiger.[(triple4)] The cow visits the bald eagle.[(triple6)] The tiger is cold.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger sees the cow.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle is not rough.[(((triple2) -> rule1))] The cow is red.[(((triple4) -> rule3))] The tiger does not see the bald eagle.[(((triple7) -> rule4))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The cow does not see the tiger.
("cow" "sees" "tiger" "-")
triple5
((triple9) -> (rule8 % int1))
The cow does not see the tiger.
("cow" "sees" "tiger" "-")
int1
The cow is not cold.
("cow" "is" "cold" "-")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple8
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
int1
The cow is red.
("cow" "is" "red" "+")
((triple4) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
((triple7) -> (rule4 % int1))
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
int1