The cow is rough. The cow is young. The cow visits the rabbit. The lion chases the cow. The lion is cold. The lion is young. The lion likes the cow. The lion visits the cow. The lion visits the rabbit. The rabbit chases the lion. The rabbit is young. The rabbit visits the lion. If the cow visits the lion and the cow is rough then the lion is young. If something chases the rabbit then it chases the cow. If something chases the cow then the cow likes the rabbit. If something chases the cow and it visits the rabbit then the rabbit is kind. If the lion chases the rabbit and the lion chases the cow then the rabbit is cold. If something is cold and it chases the cow then it visits the cow. If something likes the lion and it likes the rabbit then the lion visits the rabbit. If the lion likes the rabbit then the rabbit is cold.
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the cow visits the lion and the cow is rough then the lion is young.
((("cow" "visits" "lion" "+") ("cow" "is" "rough" "+")) -> ("lion" "is" "young" "+"))
If something chases the rabbit then it chases the cow.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "cow" "+"))
If something chases the cow then the cow likes the rabbit.
((("something" "chases" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If something chases the cow and it visits the rabbit then the rabbit is kind.
((("something" "chases" "cow" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the lion chases the rabbit and the lion chases the cow then the rabbit is cold.
((("lion" "chases" "rabbit" "+") ("lion" "chases" "cow" "+")) -> ("rabbit" "is" "cold" "+"))
If something is cold and it chases the cow then it visits the cow.
((("something" "is" "cold" "+") ("something" "chases" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something likes the lion and it likes the rabbit then the lion visits the rabbit.
((("something" "likes" "lion" "+") ("something" "likes" "rabbit" "+")) -> ("lion" "visits" "rabbit" "+"))
If the lion likes the rabbit then the rabbit is cold.
((("lion" "likes" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
The lion likes the cow.
True
1
proof
[(triple7)]
("lion" "likes" "cow" "+")
triple7
The lion does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("lion" "visits" "rabbit" "-")
triple9
The rabbit is kind.
True
3
proof
[(((triple4 triple9) -> rule4))]
("rabbit" "is" "kind" "+")
((triple4 triple9) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow does not like the rabbit.
False
2
inv-proof
[(((triple4) -> rule3))]
("cow" "likes" "rabbit" "-")
((triple4) -> (rule3 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The rabbit does not visit the cow.
Unknown
inv-rconc
[@2: The rabbit visits the cow.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("rabbit" "visits" "cow" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "cold" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The cow is rough.[(triple1)] The cow is young.[(triple2)] The cow visits the rabbit.[(triple3)] The lion chases the cow.[(triple4)] The lion is cold.[(triple5)] The lion is young.[(triple6)] The lion likes the cow.[(triple7)] The lion visits the cow.[(triple8 OR ((triple5 triple4) -> rule6))] The lion visits the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is young.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cow likes the rabbit.[(((triple4) -> rule3))] The rabbit is kind.[(((triple4 triple9) -> rule4))]
The cow is rough.
("cow" "is" "rough" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple3
The lion chases the cow.
("lion" "chases" "cow" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the cow.
("lion" "likes" "cow" "+")
triple7
The lion visits the cow.
("lion" "visits" "cow" "+")
triple8
((triple5 triple4) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple9
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple4) -> (rule3 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple4 triple9) -> (rule4 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1