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