The dog eats the lion. The dog eats the squirrel. The dog is not green. The dog is not kind. The dog likes the lion. The dog likes the tiger. The lion does not eat the squirrel. The lion is nice. The lion likes the tiger. The squirrel eats the lion. The squirrel eats the tiger. The squirrel is cold. The tiger chases the squirrel. The tiger likes the dog. If something eats the tiger then it is round. If something likes the lion and it likes the squirrel then it does not eat the tiger. If the squirrel chases the lion then the lion does not like the dog. If something chases the dog then it eats the dog. If something is kind then it chases the lion. If something likes the squirrel then it is kind. If something is round then it likes the squirrel.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If something eats the tiger then it is round.
((("something" "eats" "tiger" "+")) -> ("something" "is" "round" "+"))
If something likes the lion and it likes the squirrel then it does not eat the tiger.
((("something" "likes" "lion" "+") ("something" "likes" "squirrel" "+")) -> ("something" "eats" "tiger" "-"))
If the squirrel chases the lion then the lion does not like the dog.
((("squirrel" "chases" "lion" "+")) -> ("lion" "likes" "dog" "-"))
If something chases the dog then it eats the dog.
((("something" "chases" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something is kind then it chases the lion.
((("something" "is" "kind" "+")) -> ("something" "chases" "lion" "+"))
If something likes the squirrel then it is kind.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "kind" "+"))
If something is round then it likes the squirrel.
((("something" "is" "round" "+")) -> ("something" "likes" "squirrel" "+"))
The dog is not kind.
True
1
proof
[(triple4)]
("dog" "is" "kind" "-")
triple4
The tiger does not chase the squirrel.
False
1
inv-proof
[(triple13)]
("tiger" "chases" "squirrel" "-")
triple13
The squirrel is round.
True
2
proof
[(((triple11) -> rule1))]
("squirrel" "is" "round" "+")
((triple11) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "is" "round" "-")
((triple11) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the squirrel.
True
3
proof
[(((((triple11) -> rule1)) -> rule7))]
("squirrel" "likes" "squirrel" "+")
((((triple11) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not like the squirrel.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule7))]
("squirrel" "likes" "squirrel" "-")
((((triple11) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
True
4
proof
[(((((((triple11) -> rule1)) -> rule7)) -> rule6))]
("squirrel" "is" "kind" "+")
((((((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is not kind.
False
4
inv-proof
[(((((((triple11) -> rule1)) -> rule7)) -> rule6))]
("squirrel" "is" "kind" "-")
((((((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel chases the lion.
True
5
proof
[(((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5))]
("squirrel" "chases" "lion" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
The squirrel does not chase the lion.
False
5
inv-proof
[(((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5))]
("squirrel" "chases" "lion" "-")
((((((((triple11) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
The lion does not like the dog.
True
6
proof
[(((((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5)) -> rule3))]
("lion" "likes" "dog" "-")
((((((((((triple11) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The lion does not like the dog.
("lion" "likes" "dog" "-")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is round.
("squirrel" "is" "round" "+")
int5
The lion likes the dog.
False
6
inv-proof
[(((((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5)) -> rule3))]
("lion" "likes" "dog" "+")
((((((((((triple11) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The lion does not like the dog.
("lion" "likes" "dog" "-")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is round.
("squirrel" "is" "round" "+")
int5
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "chases" "lion" "-")
The tiger chases the lion.
Unknown
rconc
[@4: The tiger chases the lion.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule7 <- rule1 <- FAIL)]]
("tiger" "chases" "lion" "+")
The tiger does not like the squirrel.
Unknown
inv-rconc
[@2: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("tiger" "likes" "squirrel" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "+")
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "dog" "-")
The lion likes the squirrel.
Unknown
rconc
[@2: The lion likes the squirrel.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("lion" "likes" "squirrel" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The squirrel likes the tiger.
Unknown
random
[@0: The squirrel likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "tiger" "+")
The squirrel is not nice.
Unknown
inv-random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "-")
The lion chases the dog.
Unknown
random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "+")
@0: The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is not green.[(triple3)] The dog is not kind.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the tiger.[(triple6)] The lion does not eat the squirrel.[(triple7)] The lion is nice.[(triple8)] The lion likes the tiger.[(triple9)] The squirrel eats the lion.[(triple10)] The squirrel eats the tiger.[(triple11)] The squirrel is cold.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger likes the dog.[(triple14)] @1: The squirrel is round.[(((triple11) -> rule1))] @2: The squirrel likes the squirrel.[(((((triple11) -> rule1)) -> rule7))] @3: The squirrel is kind.[(((((((triple11) -> rule1)) -> rule7)) -> rule6))] @4: The squirrel chases the lion.[(((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5))] @5: The lion does not like the dog.[(((((((((((triple11) -> rule1)) -> rule7)) -> rule6)) -> rule5)) -> rule3))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is not kind.
("dog" "is" "kind" "-")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple6
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple9
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple10
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple11
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple13
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
((triple11) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((((triple11) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((((((triple11) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
The lion does not like the dog.
("lion" "likes" "dog" "-")
((((((((((triple11) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The lion does not like the dog.
("lion" "likes" "dog" "-")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
The squirrel is round.
("squirrel" "is" "round" "+")
int5