The dog does not chase the lion. The dog does not eat the lion. The dog is cold. The dog is green. The dog sees the lion. The lion does not chase the dog. The lion eats the dog. The lion is blue. The lion is cold. The lion is green. The lion is nice. The lion does not see the dog. If something chases the dog then the dog is green. If something sees the lion and it is nice then it eats the lion. If something eats the lion and the lion eats the dog then the dog is not nice. If something is round then it is not cold. If something chases the dog then it sees the lion. If something eats the dog then it sees the lion. If something eats the dog then it chases the lion. If something eats the lion and the lion sees the dog then it is not round.
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The dog does not eat the lion.
("dog" "eats" "lion" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion does not see the dog.
("lion" "sees" "dog" "-")
If something chases the dog then the dog is green.
((("something" "chases" "dog" "+")) -> ("dog" "is" "green" "+"))
If something sees the lion and it is nice then it eats the lion.
((("something" "sees" "lion" "+") ("something" "is" "nice" "+")) -> ("something" "eats" "lion" "+"))
If something eats the lion and the lion eats the dog then the dog is not nice.
((("something" "eats" "lion" "+") ("lion" "eats" "dog" "+")) -> ("dog" "is" "nice" "-"))
If something is round then it is not cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "-"))
If something chases the dog then it sees the lion.
((("something" "chases" "dog" "+")) -> ("something" "sees" "lion" "+"))
If something eats the dog then it sees the lion.
((("something" "eats" "dog" "+")) -> ("something" "sees" "lion" "+"))
If something eats the dog then it chases the lion.
((("something" "eats" "dog" "+")) -> ("something" "chases" "lion" "+"))
If something eats the lion and the lion sees the dog then it is not round.
((("something" "eats" "lion" "+") ("lion" "sees" "dog" "+")) -> ("something" "is" "round" "-"))
The lion does not chase the dog.
True
1
proof
[(triple6)]
("lion" "chases" "dog" "-")
triple6
The lion is not green.
False
1
inv-proof
[(triple10)]
("lion" "is" "green" "-")
triple10
The lion sees the lion.
True
2
proof
[(((triple7) -> rule6))]
("lion" "sees" "lion" "+")
((triple7) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion does not see the lion.
False
2
inv-proof
[(((triple7) -> rule6))]
("lion" "sees" "lion" "-")
((triple7) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion eats the lion.
True
4
proof
[(((((triple7) -> rule6) triple11) -> rule2))]
("lion" "eats" "lion" "+")
((((triple7) -> (rule6 % int2)) triple11) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion does not eat the lion.
False
4
inv-proof
[(((((triple7) -> rule6) triple11) -> rule2))]
("lion" "eats" "lion" "-")
((((triple7) -> (rule6 % int2)) triple11) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog does not chase the lion.[(triple1)] The dog does not eat the lion.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog sees the lion.[(triple5)] The lion does not chase the dog.[(triple6)] The lion does not see the dog.[(triple12)] The lion eats the dog.[(triple7)] The lion is blue.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is nice.[(triple11)] @1: The lion chases the lion.[(((triple7) -> rule7))] The lion sees the lion.[(((triple7) -> rule6))] @2: The lion eats the lion.[(((((triple7) -> rule6) triple11) -> rule2))] @3: The dog is not nice.[(((((((triple7) -> rule6) triple11) -> rule2) triple7) -> rule3))]
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple1
The dog does not eat the lion.
("dog" "eats" "lion" "-")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog sees the lion.
("dog" "sees" "lion" "+")
triple5
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple6
The lion does not see the dog.
("lion" "sees" "dog" "-")
triple12
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple7) -> (rule7 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple7) -> (rule6 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple7) -> (rule6 % int2)) triple11) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The dog is not nice.
("dog" "is" "nice" "-")
((((((triple7) -> (rule6 % int3)) triple11) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The dog is not nice.
("dog" "is" "nice" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion sees the lion.
("lion" "sees" "lion" "+")
int3