The cat chases the lion. The cat chases the tiger. The cat is nice. The cat is young. The lion chases the cat. The lion chases the tiger. The lion is big. The lion is kind. The lion is nice. The lion is rough. The lion is young. The lion likes the cat. The lion likes the tiger. The lion sees the cat. The lion sees the tiger. The tiger chases the lion. If someone chases the tiger and the tiger chases the lion then they like the lion. If someone is nice and young then they chase the tiger. If someone likes the tiger then they see the tiger. If someone likes the lion and the lion likes the cat then they are kind. If someone is kind and they like the cat then they see the cat. If someone sees the lion and they like the tiger then the lion chases the tiger.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
If someone chases the tiger and the tiger chases the lion then they like the lion.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "lion" "+")) -> ("someone" "likes" "lion" "+"))
If someone is nice and young then they chase the tiger.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the tiger then they see the tiger.
((("someone" "likes" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone likes the lion and the lion likes the cat then they are kind.
((("someone" "likes" "lion" "+") ("lion" "likes" "cat" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and they like the cat then they see the cat.
((("someone" "is" "kind" "+") ("someone" "likes" "cat" "+")) -> ("someone" "sees" "cat" "+"))
If someone sees the lion and they like the tiger then the lion chases the tiger.
((("someone" "sees" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "chases" "tiger" "+"))
The cat is young.
True
1
proof
[(triple4)]
("cat" "is" "young" "+")
triple4
The lion is not young.
False
1
inv-proof
[(triple11)]
("lion" "is" "young" "-")
triple11
The cat likes the lion.
True
3
proof
[(((triple2 triple16) -> rule1) OR ((((triple3 triple4) -> rule2) triple16) -> rule1))]
("cat" "likes" "lion" "+")
((triple2 triple16) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
((((triple3 triple4) -> (rule2 % int2)) triple16) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The lion does not like the lion.
False
3
inv-proof
[(((triple6 triple16) -> rule1) OR ((((triple9 triple11) -> rule2) triple16) -> rule1))]
("lion" "likes" "lion" "-")
((triple6 triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
((((triple9 triple11) -> (rule2 % int2)) triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The cat is kind.
True
5
proof
[(((((triple2 triple16) -> rule1) triple12) -> rule4) OR ((((((triple3 triple4) -> rule2) triple16) -> rule1) triple12) -> rule4))]
("cat" "is" "kind" "+")
((((triple2 triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((((triple3 triple4) -> (rule2 % int3)) triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3
The cat is not kind.
False
5
inv-proof
[(((((triple2 triple16) -> rule1) triple12) -> rule4) OR ((((((triple3 triple4) -> rule2) triple16) -> rule1) triple12) -> rule4))]
("cat" "is" "kind" "-")
((((triple2 triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((((triple3 triple4) -> (rule2 % int3)) triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "sees" "cat" "+")
The tiger does not like the lion.
Unknown
inv-rconc
[@2: The tiger likes the lion.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "likes" "lion" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The cat does not like the tiger.
Unknown
inv-random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat chases the tiger.[(triple2 OR ((triple3 triple4) -> rule2))] The cat is nice.[(triple3)] The cat is young.[(triple4)] The lion chases the cat.[(triple5)] The lion chases the tiger.[(triple6 OR ((triple9 triple11) -> rule2))] The lion is big.[(triple7)] The lion is kind.[(triple8 OR ((((triple6 triple16) -> rule1) triple12) -> rule4) OR ((((((triple9 triple11) -> rule2) triple16) -> rule1) triple12) -> rule4))] The lion is nice.[(triple9)] The lion is rough.[(triple10)] The lion is young.[(triple11)] The lion likes the cat.[(triple12)] The lion likes the tiger.[(triple13)] The lion sees the cat.[(triple14 OR ((triple8 triple12) -> rule5) OR ((((((triple6 triple16) -> rule1) triple12) -> rule4) triple12) -> rule5) OR ((((((((triple9 triple11) -> rule2) triple16) -> rule1) triple12) -> rule4) triple12) -> rule5))] The lion sees the tiger.[(triple15 OR ((triple13) -> rule3))] The tiger chases the lion.[(triple16)] @1: The cat likes the lion.[(((triple2 triple16) -> rule1) OR ((((triple3 triple4) -> rule2) triple16) -> rule1))] The lion likes the lion.[(((triple6 triple16) -> rule1) OR ((((triple9 triple11) -> rule2) triple16) -> rule1))] @2: The cat is kind.[(((((triple2 triple16) -> rule1) triple12) -> rule4) OR ((((((triple3 triple4) -> rule2) triple16) -> rule1) triple12) -> rule4))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
((triple3 triple4) -> (rule2 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The lion chases the cat.
("lion" "chases" "cat" "+")
triple5
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple6
((triple9 triple11) -> (rule2 % int1))
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
((((triple6 triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
((((((triple9 triple11) -> (rule2 % int3)) triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
triple11
The lion likes the cat.
("lion" "likes" "cat" "+")
triple12
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple13
The lion sees the cat.
("lion" "sees" "cat" "+")
triple14
((triple8 triple12) -> (rule5 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
((((((triple6 triple16) -> (rule1 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule5 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
((((((((triple9 triple11) -> (rule2 % int4)) triple16) -> (rule1 % int3)) triple12) -> (rule4 % int2)) triple12) -> (rule5 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int4
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple15
((triple13) -> (rule3 % int1))
The lion sees the tiger.
("lion" "sees" "tiger" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple16
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple2 triple16) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
((((triple3 triple4) -> (rule2 % int2)) triple16) -> (rule1 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple6 triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
((((triple9 triple11) -> (rule2 % int2)) triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
((((triple2 triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
((((((triple3 triple4) -> (rule2 % int3)) triple16) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3