The cat chases the tiger. The cat is not cold. The cat is red. The cat is rough. The cat does not like the lion. The cat visits the lion. The cat visits the tiger. The lion chases the cat. The lion is cold. The lion is round. The lion likes the cat. The lion likes the tiger. The tiger chases the lion. The tiger is red. The tiger likes the cat. The tiger visits the cat. If someone likes the lion then they are red. If the cat does not like the lion then the cat likes the tiger. If the lion does not visit the tiger then the tiger chases the lion. All round people are rough. If someone visits the tiger then they like the cat. If someone likes the cat then the cat is round. If someone visits the tiger then the tiger does not visit the lion. If the tiger is red and the tiger does not visit the lion then the tiger is blue.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not like the lion.
("cat" "likes" "lion" "-")
The cat visits the lion.
("cat" "visits" "lion" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone likes the lion then they are red.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "red" "+"))
If the cat does not like the lion then the cat likes the tiger.
((("cat" "likes" "lion" "~")) -> ("cat" "likes" "tiger" "+"))
If the lion does not visit the tiger then the tiger chases the lion.
((("lion" "visits" "tiger" "~")) -> ("tiger" "chases" "lion" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the tiger then they like the cat.
((("someone" "visits" "tiger" "+")) -> ("someone" "likes" "cat" "+"))
If someone likes the cat then the cat is round.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone visits the tiger then the tiger does not visit the lion.
((("someone" "visits" "tiger" "+")) -> ("tiger" "visits" "lion" "-"))
If the tiger is red and the tiger does not visit the lion then the tiger is blue.
((("tiger" "is" "red" "+") ("tiger" "visits" "lion" "~")) -> ("tiger" "is" "blue" "+"))
The lion is cold.
True
1
proof
[(triple9)]
("lion" "is" "cold" "+")
triple9
The cat does not visit the tiger.
False
1
inv-proof
[(triple7)]
("cat" "visits" "tiger" "-")
triple7
The cat likes the cat.
True
2
proof
[(((triple7) -> rule5))]
("cat" "likes" "cat" "+")
((triple7) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the tiger.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "likes" "tiger" "-")
((triple5) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The tiger is blue.
True
4
proof
[(((triple14 ((triple7) -> rule7)) -> rule8))]
("tiger" "is" "blue" "+")
((triple14 ((triple7) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
int2
The tiger is not blue.
False
4
inv-proof
[(((triple14 ((triple7) -> rule7)) -> rule8))]
("tiger" "is" "blue" "-")
((triple14 ((triple7) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
int2
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "rough" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "red" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The tiger likes the lion.
Unknown
random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat does not like the lion.[(triple5)] The cat is not cold.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((((triple11) -> rule6)) -> rule4) OR ((((triple15) -> rule6)) -> rule4) OR ((((((triple7) -> rule5)) -> rule6)) -> rule4))] The cat visits the lion.[(triple6)] The cat visits the tiger.[(triple7)] The lion chases the cat.[(triple8)] The lion is cold.[(triple9)] The lion is round.[(triple10)] The lion likes the cat.[(triple11)] The lion likes the tiger.[(triple12)] The tiger chases the lion.[(triple13)] The tiger is red.[(triple14)] The tiger likes the cat.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat is round.[(((triple11) -> rule6) OR ((triple15) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The cat likes the cat.[(((triple7) -> rule5))] The cat likes the tiger.[(((triple5) -> rule2))] The lion is rough.[(((triple10) -> rule4))] The tiger does not visit the lion.[(((triple7) -> rule7))] @2: The tiger is blue.[(((triple14 ((triple7) -> rule7)) -> rule8))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat does not like the lion.
("cat" "likes" "lion" "-")
triple5
The cat is not cold.
("cat" "is" "cold" "-")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((triple15) -> (rule6 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple6
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple12
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cat is round.
("cat" "is" "round" "+")
((triple11) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((triple15) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple7) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
((triple5) -> (rule2 % int1))
The cat likes the tiger.
("cat" "likes" "tiger" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple10) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
((triple7) -> (rule7 % int1))
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
((triple14 ((triple7) -> (rule7 % int2))) -> (rule8 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger does not visit the lion.
("tiger" "visits" "lion" "-")
int2