The cow likes the lion. The cow needs the rabbit. The dog is cold. The dog likes the cow. The dog likes the lion. The dog likes the rabbit. The dog needs the lion. The dog needs the rabbit. The lion does not like the rabbit. The rabbit is rough. If the rabbit needs the lion then the lion chases the rabbit. If the dog chases the cow then the dog is cold. If someone likes the rabbit then the rabbit is green. If someone is rough and they chase the rabbit then the rabbit needs the cow. If someone chases the lion then the lion is cold. If someone is cold then they are nice. If someone likes the rabbit and they are not green then they are nice. If someone is nice then they chase the lion.
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If the rabbit needs the lion then the lion chases the rabbit.
((("rabbit" "needs" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If the dog chases the cow then the dog is cold.
((("dog" "chases" "cow" "+")) -> ("dog" "is" "cold" "+"))
If someone likes the rabbit then the rabbit is green.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "green" "+"))
If someone is rough and they chase the rabbit then the rabbit needs the cow.
((("someone" "is" "rough" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "needs" "cow" "+"))
If someone chases the lion then the lion is cold.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "cold" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the rabbit and they are not green then they are nice.
((("someone" "likes" "rabbit" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "+"))
If someone is nice then they chase the lion.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "lion" "+"))
The dog is cold.
True
1
proof
[(triple3)]
("dog" "is" "cold" "+")
triple3
The cow does not like the lion.
False
1
inv-proof
[(triple1)]
("cow" "likes" "lion" "-")
triple1
The dog is nice.
True
2
proof
[(((triple3) -> rule6))]
("dog" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple3) -> rule6))]
("dog" "is" "nice" "-")
((triple3) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog chases the lion.
True
3
proof
[(((((triple3) -> rule6)) -> rule8))]
("dog" "chases" "lion" "+")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog does not chase the lion.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule8))]
("dog" "chases" "lion" "-")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The rabbit does not chase the lion.
Unknown
inv-rconc
[@2: The rabbit chases the lion.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("rabbit" "chases" "lion" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "nice" "+")
The cow does not chase the lion.
Unknown
inv-rconc
[@2: The cow chases the lion.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("cow" "chases" "lion" "-")
The rabbit chases the cow.
Unknown
random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "+")
The dog does not need the cow.
Unknown
inv-random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The cow likes the lion.[(triple1)] The cow needs the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog likes the cow.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the rabbit.[(triple6)] The dog needs the lion.[(triple7)] The dog needs the rabbit.[(triple8)] The lion does not like the rabbit.[(triple9)] The rabbit is rough.[(triple10)] @1: The dog is nice.[(((triple3) -> rule6))] The rabbit is green.[(((triple6) -> rule3))] @2: The dog chases the lion.[(((((triple3) -> rule6)) -> rule8))] @3: The lion is cold.[(((((((triple3) -> rule6)) -> rule8)) -> rule5))] @4: The lion is nice.[(((((((((triple3) -> rule6)) -> rule8)) -> rule5)) -> rule6))] @5: The lion chases the lion.[(((((((((((triple3) -> rule6)) -> rule8)) -> rule5)) -> rule6)) -> rule8))]
The cow likes the lion.
("cow" "likes" "lion" "+")
triple1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog likes the cow.
("dog" "likes" "cow" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple6
The dog needs the lion.
("dog" "needs" "lion" "+")
triple7
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple8
The lion does not like the rabbit.
("lion" "likes" "rabbit" "-")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple6) -> (rule3 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
((((((triple3) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The lion is nice.
("lion" "is" "nice" "+")
((((((((triple3) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The dog chases the lion.
("dog" "chases" "lion" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
int4
The lion chases the lion.
("lion" "chases" "lion" "+")
((((((((((triple3) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion is cold.
("lion" "is" "cold" "+")
int3
The dog chases the lion.
("dog" "chases" "lion" "+")
int4
The dog is nice.
("dog" "is" "nice" "+")
int5