The cow eats the mouse. The cow is nice. The cow is red. The cow sees the lion. The cow sees the mouse. The dog eats the lion. The dog eats the mouse. The dog sees the cow. The dog sees the lion. The dog visits the lion. The lion eats the dog. The lion is round. The lion visits the dog. The lion visits the mouse. The mouse is round. If the dog is nice and the dog sees the lion then the lion is big. If something is round then it visits the dog. If something sees the mouse then the mouse is nice. If something visits the lion and the lion is big then it eats the dog. If something sees the lion then it is round. If something visits the dog then it visits the cow.
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is round.
("mouse" "is" "round" "+")
If the dog is nice and the dog sees the lion then the lion is big.
((("dog" "is" "nice" "+") ("dog" "sees" "lion" "+")) -> ("lion" "is" "big" "+"))
If something is round then it visits the dog.
((("something" "is" "round" "+")) -> ("something" "visits" "dog" "+"))
If something sees the mouse then the mouse is nice.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If something visits the lion and the lion is big then it eats the dog.
((("something" "visits" "lion" "+") ("lion" "is" "big" "+")) -> ("something" "eats" "dog" "+"))
If something sees the lion then it is round.
((("something" "sees" "lion" "+")) -> ("something" "is" "round" "+"))
If something visits the dog then it visits the cow.
((("something" "visits" "dog" "+")) -> ("something" "visits" "cow" "+"))
The dog sees the lion.
True
1
proof
[(triple9)]
("dog" "sees" "lion" "+")
triple9
The dog does not visit the lion.
False
1
inv-proof
[(triple10)]
("dog" "visits" "lion" "-")
triple10
The cow is round.
True
2
proof
[(((triple4) -> rule5))]
("cow" "is" "round" "+")
((triple4) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple5) -> rule3))]
("mouse" "is" "nice" "-")
((triple5) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The cow visits the dog.
True
3
proof
[(((((triple4) -> rule5)) -> rule2))]
("cow" "visits" "dog" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The mouse does not visit the cow.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule6))]
("mouse" "visits" "cow" "-")
((((triple15) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The cow does not eat the dog.
Unknown
inv-rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "dog" "-")
The lion is big.
Unknown
rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "big" "+")
The dog does not eat the dog.
Unknown
inv-rconc
[@2: The dog eats the dog.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog eats the cow.
Unknown
random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The dog visits the mouse.
Unknown
random
[@0: The dog visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "mouse" "+")
@0: The cow eats the mouse.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow sees the lion.[(triple4)] The cow sees the mouse.[(triple5)] The dog eats the lion.[(triple6)] The dog eats the mouse.[(triple7)] The dog sees the cow.[(triple8)] The dog sees the lion.[(triple9)] The dog visits the lion.[(triple10)] The lion eats the dog.[(triple11)] The lion is round.[(triple12)] The lion visits the dog.[(triple13 OR ((triple12) -> rule2))] The lion visits the mouse.[(triple14)] The mouse is round.[(triple15)] @1: The cow is round.[(((triple4) -> rule5))] The dog is round.[(((triple9) -> rule5))] The lion visits the cow.[(((triple13) -> rule6) OR ((((triple12) -> rule2)) -> rule6))] The mouse is nice.[(((triple5) -> rule3))] The mouse visits the dog.[(((triple15) -> rule2))] @2: The cow visits the dog.[(((((triple4) -> rule5)) -> rule2))] The dog visits the dog.[(((((triple9) -> rule5)) -> rule2))] The mouse visits the cow.[(((((triple15) -> rule2)) -> rule6))] @3: The cow visits the cow.[(((((((triple4) -> rule5)) -> rule2)) -> rule6))] The dog visits the cow.[(((((((triple9) -> rule5)) -> rule2)) -> rule6))]
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow sees the lion.
("cow" "sees" "lion" "+")
triple4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple7
The dog sees the cow.
("dog" "sees" "cow" "+")
triple8
The dog sees the lion.
("dog" "sees" "lion" "+")
triple9
The dog visits the lion.
("dog" "visits" "lion" "+")
triple10
The lion eats the dog.
("lion" "eats" "dog" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion visits the dog.
("lion" "visits" "dog" "+")
triple13
((triple12) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The cow is round.
("cow" "is" "round" "+")
((triple4) -> (rule5 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple9) -> (rule5 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple13) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The mouse is nice.
("mouse" "is" "nice" "+")
((triple5) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((triple15) -> (rule2 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
((((triple4) -> (rule5 % int2))) -> (rule2 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
((((triple15) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((((((triple4) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The dog visits the cow.
("dog" "visits" "cow" "+")
((((((triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is round.
("dog" "is" "round" "+")
int3