The bear likes the mouse. The cat eats the dog. The cat likes the bear. The dog eats the bear. The dog is blue. The dog is nice. The dog likes the cat. The dog likes the mouse. The mouse is kind. The mouse is nice. All nice people are kind.
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
The cat likes the bear.
True
1
proof
[(triple3)]
("cat" "likes" "bear" "+")
triple3
The mouse is not nice.
False
1
inv-proof
[(triple10)]
("mouse" "is" "nice" "-")
triple10
The dog is kind.
True
2
proof
[(((triple6) -> rule1))]
("dog" "is" "kind" "+")
((triple6) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "is" "kind" "-")
((triple6) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse sees the dog.
Unknown
random
[@0: The mouse sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "dog" "+")
@0: The bear likes the mouse.[(triple1)] The cat eats the dog.[(triple2)] The cat likes the bear.[(triple3)] The dog eats the bear.[(triple4)] The dog is blue.[(triple5)] The dog is nice.[(triple6)] The dog likes the cat.[(triple7)] The dog likes the mouse.[(triple8)] The mouse is kind.[(triple9 OR ((triple10) -> rule1))] The mouse is nice.[(triple10)] @1: The dog is kind.[(((triple6) -> rule1))]
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple1
The cat eats the dog.
("cat" "eats" "dog" "+")
triple2
The cat likes the bear.
("cat" "likes" "bear" "+")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple4
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog likes the cat.
("dog" "likes" "cat" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
((triple10) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
((triple6) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1