The bear eats the dog. The bear is blue. The bear is cold. The bear is round. The bear visits the dog. The dog is big. The dog likes the bear. The mouse is nice. The mouse visits the dog. The tiger eats the bear. The tiger eats the dog. The tiger eats the mouse. The tiger is big. The tiger likes the bear. The tiger visits the mouse. If something likes the bear and the bear likes the mouse then the bear likes the dog. If something visits the bear then it is nice. If something visits the tiger then the tiger eats the mouse. If something visits the mouse then the mouse eats the bear. If something is blue then it eats the mouse. If something likes the tiger then the tiger eats the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If something likes the bear and the bear likes the mouse then the bear likes the dog.
((("something" "likes" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("bear" "likes" "dog" "+"))
If something visits the bear then it is nice.
((("something" "visits" "bear" "+")) -> ("something" "is" "nice" "+"))
If something visits the tiger then the tiger eats the mouse.
((("something" "visits" "tiger" "+")) -> ("tiger" "eats" "mouse" "+"))
If something visits the mouse then the mouse eats the bear.
((("something" "visits" "mouse" "+")) -> ("mouse" "eats" "bear" "+"))
If something is blue then it eats the mouse.
((("something" "is" "blue" "+")) -> ("something" "eats" "mouse" "+"))
If something likes the tiger then the tiger eats the dog.
((("something" "likes" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
The bear is cold.
True
1
proof
[(triple3)]
("bear" "is" "cold" "+")
triple3
The tiger does not eat the mouse.
False
1
inv-proof
[(triple12)]
("tiger" "eats" "mouse" "-")
triple12
The bear eats the mouse.
True
2
proof
[(((triple2) -> rule5))]
("bear" "eats" "mouse" "+")
((triple2) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse does not eat the bear.
False
2
inv-proof
[(((triple15) -> rule4))]
("mouse" "eats" "bear" "-")
((triple15) -> (rule4 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The bear does not like the dog.
Unknown
inv-rconc
[@1: The bear likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "dog" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The bear likes the mouse.
Unknown
random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "+")
@0: The bear eats the dog.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4)] The bear visits the dog.[(triple5)] The dog is big.[(triple6)] The dog likes the bear.[(triple7)] The mouse is nice.[(triple8)] The mouse visits the dog.[(triple9)] The tiger eats the bear.[(triple10)] The tiger eats the dog.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is big.[(triple13)] The tiger likes the bear.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The bear eats the mouse.[(((triple2) -> rule5))] The mouse eats the bear.[(((triple15) -> rule4))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple9
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple10
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple2) -> (rule5 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((triple15) -> (rule4 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1