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