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