The cow chases the tiger. The cow eats the lion. The dog eats the cow. The dog eats the lion. The dog eats the tiger. The dog is cold. The dog is green. The dog is young. The lion likes the cow. The tiger chases the cow. The tiger likes the dog. Young people are kind. All cold people are kind. If the tiger chases the lion then the lion is young. If someone likes the dog then they like the cow. If the tiger likes the cow then the tiger is young. If someone is young then they chase the lion. If the dog is kind then the dog chases the lion. If someone is green then they like the cow.
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If the tiger chases the lion then the lion is young.
((("tiger" "chases" "lion" "+")) -> ("lion" "is" "young" "+"))
If someone likes the dog then they like the cow.
((("someone" "likes" "dog" "+")) -> ("someone" "likes" "cow" "+"))
If the tiger likes the cow then the tiger is young.
((("tiger" "likes" "cow" "+")) -> ("tiger" "is" "young" "+"))
If someone is young then they chase the lion.
((("someone" "is" "young" "+")) -> ("someone" "chases" "lion" "+"))
If the dog is kind then the dog chases the lion.
((("dog" "is" "kind" "+")) -> ("dog" "chases" "lion" "+"))
If someone is green then they like the cow.
((("someone" "is" "green" "+")) -> ("someone" "likes" "cow" "+"))
The lion likes the cow.
True
1
proof
[(triple9)]
("lion" "likes" "cow" "+")
triple9
The dog does not eat the tiger.
False
1
inv-proof
[(triple5)]
("dog" "eats" "tiger" "-")
triple5
The tiger likes the cow.
True
2
proof
[(((triple11) -> rule4))]
("tiger" "likes" "cow" "+")
((triple11) -> (rule4 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger does not like the cow.
False
2
inv-proof
[(((triple11) -> rule4))]
("tiger" "likes" "cow" "-")
((triple11) -> (rule4 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger is young.
True
3
proof
[(((((triple11) -> rule4)) -> rule5))]
("tiger" "is" "young" "+")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2
The tiger is not young.
False
3
inv-proof
[(((((triple11) -> rule4)) -> rule5))]
("tiger" "is" "young" "-")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2
The tiger chases the lion.
True
4
proof
[(((((((triple11) -> rule4)) -> rule5)) -> rule6))]
("tiger" "chases" "lion" "+")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int3
The tiger is not kind.
False
4
inv-proof
[(((((((triple11) -> rule4)) -> rule5)) -> rule1))]
("tiger" "is" "kind" "-")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int3
The lion is young.
True
5
proof
[(((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3))]
("lion" "is" "young" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int4
The lion is not young.
False
5
inv-proof
[(((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3))]
("lion" "is" "young" "-")
((((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int4
The lion chases the lion.
True
6
proof
[(((((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3)) -> rule6))]
("lion" "chases" "lion" "+")
((((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int5
The lion does not chase the lion.
False
6
inv-proof
[(((((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3)) -> rule6))]
("lion" "chases" "lion" "-")
((((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int5
The cow does not chase the lion.
Unknown
inv-rconc
[@1: The cow chases the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "lion" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "kind" "+")
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cow" "-")
The dog likes the tiger.
Unknown
random
[@0: The dog likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "tiger" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The lion does not eat the dog.
Unknown
inv-random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The cow likes the tiger.
Unknown
random
[@0: The cow likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "tiger" "+")
The cow does not like the dog.
Unknown
inv-random
[@0: The cow likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "dog" "-")
The lion chases the dog.
Unknown
random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "+")
@0: The cow chases the tiger.[(triple1)] The cow eats the lion.[(triple2)] The dog eats the cow.[(triple3)] The dog eats the lion.[(triple4)] The dog eats the tiger.[(triple5)] The dog is cold.[(triple6)] The dog is green.[(triple7)] The dog is young.[(triple8)] The lion likes the cow.[(triple9)] The tiger chases the cow.[(triple10)] The tiger likes the dog.[(triple11)] @1: The dog chases the lion.[(((triple8) -> rule6) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple8) -> rule1)) -> rule7))] The dog is kind.[(((triple6) -> rule2) OR ((triple8) -> rule1))] The dog likes the cow.[(((triple7) -> rule8))] The tiger likes the cow.[(((triple11) -> rule4))] @2: The tiger is young.[(((((triple11) -> rule4)) -> rule5))] @3: The tiger chases the lion.[(((((((triple11) -> rule4)) -> rule5)) -> rule6))] The tiger is kind.[(((((((triple11) -> rule4)) -> rule5)) -> rule1))] @4: The lion is young.[(((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3))] @5: The lion chases the lion.[(((((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3)) -> rule6))] The lion is kind.[(((((((((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule3)) -> rule1))]
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The dog eats the cow.
("dog" "eats" "cow" "+")
triple3
The dog eats the lion.
("dog" "eats" "lion" "+")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple11
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple8) -> (rule6 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
((((triple8) -> (rule1 % int2))) -> (rule7 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((triple8) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple7) -> (rule8 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
((triple11) -> (rule4 % int1))
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int3
The tiger is kind.
("tiger" "is" "kind" "+")
((((((triple11) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int3
The lion is young.
("lion" "is" "young" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
((((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int5
The lion is kind.
("lion" "is" "kind" "+")
((((((((((triple11) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger likes the cow.
("tiger" "likes" "cow" "+")
int5