The lion chases the rabbit. The lion is cold. The lion is green. The lion is rough. The lion likes the rabbit. The lion visits the rabbit. The rabbit chases the lion. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit likes the lion. The rabbit visits the lion. If something visits the lion then the lion is young. If something visits the rabbit then the rabbit likes the lion. If something is green and it chases the lion then the lion chases the rabbit. If something is young then it chases the lion. If the lion is round and the lion likes the rabbit then the lion is young. If something likes the lion and the lion is round then it is green. If something is round then it chases the rabbit. If something is round and it chases the lion then it visits the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something visits the lion then the lion is young.
((("something" "visits" "lion" "+")) -> ("lion" "is" "young" "+"))
If something visits the rabbit then the rabbit likes the lion.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "likes" "lion" "+"))
If something is green and it chases the lion then the lion chases the rabbit.
((("something" "is" "green" "+") ("something" "chases" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If something is young then it chases the lion.
((("something" "is" "young" "+")) -> ("something" "chases" "lion" "+"))
If the lion is round and the lion likes the rabbit then the lion is young.
((("lion" "is" "round" "+") ("lion" "likes" "rabbit" "+")) -> ("lion" "is" "young" "+"))
If something likes the lion and the lion is round then it is green.
((("something" "likes" "lion" "+") ("lion" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is round then it chases the rabbit.
((("something" "is" "round" "+")) -> ("something" "chases" "rabbit" "+"))
If something is round and it chases the lion then it visits the rabbit.
((("something" "is" "round" "+") ("something" "chases" "lion" "+")) -> ("something" "visits" "rabbit" "+"))
The lion is cold.
True
1
proof
[(triple2)]
("lion" "is" "cold" "+")
triple2
The rabbit does not like the lion.
False
1
inv-proof
[(triple11 OR ((triple6) -> rule2))]
("rabbit" "likes" "lion" "-")
triple11
((triple6) -> (rule2 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The lion is young.
True
2
proof
[(((triple12) -> rule1))]
("lion" "is" "young" "+")
((triple12) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple12) -> rule1))]
("lion" "is" "young" "-")
((triple12) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion chases the lion.
True
3
proof
[(((((triple12) -> rule1)) -> rule4))]
("lion" "chases" "lion" "+")
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion does not chase the lion.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule4))]
("lion" "chases" "lion" "-")
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
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 rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The lion chases the rabbit.[(triple1 OR ((triple9 triple7) -> rule3) OR ((triple3 ((((triple12) -> rule1)) -> rule4)) -> rule3))] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is rough.[(triple4)] The lion likes the rabbit.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the lion.[(triple11 OR ((triple6) -> rule2))] The rabbit visits the lion.[(triple12)] @1: The lion is young.[(((triple12) -> rule1))] @2: The lion chases the lion.[(((((triple12) -> rule1)) -> rule4))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
((triple9 triple7) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
((triple3 ((((triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is young.
("lion" "is" "young" "+")
int3
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion is rough.
("lion" "is" "rough" "+")
triple4
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple11
((triple6) -> (rule2 % int1))
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
((triple12) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2