The bear chases the lion. The bear eats the rabbit. The bear visits the rabbit. The dog chases the lion. The dog does not eat the rabbit. The dog is big. The lion chases the bear. The lion does not eat the rabbit. The rabbit does not chase the dog. The rabbit is cold. The rabbit is nice. The rabbit visits the dog. If someone is nice then they visit the rabbit. If someone visits the rabbit and the rabbit is cold then they visit the lion. If the bear eats the rabbit and the rabbit is young then the bear is nice.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog is big.
("dog" "is" "big" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone is nice then they visit the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the rabbit and the rabbit is cold then they visit the lion.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "cold" "+")) -> ("someone" "visits" "lion" "+"))
If the bear eats the rabbit and the rabbit is young then the bear is nice.
((("bear" "eats" "rabbit" "+") ("rabbit" "is" "young" "+")) -> ("bear" "is" "nice" "+"))
The rabbit does not chase the dog.
True
1
proof
[(triple9)]
("rabbit" "chases" "dog" "-")
triple9
The bear does not visit the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "visits" "rabbit" "-")
triple3
The rabbit visits the rabbit.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The bear does not visit the lion.
False
3
inv-proof
[(((triple3 triple10) -> rule2))]
("bear" "visits" "lion" "-")
((triple3 triple10) -> (rule2 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The rabbit visits the lion.
True
4
proof
[(((((triple11) -> rule1) triple10) -> rule2))]
("rabbit" "visits" "lion" "+")
((((triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit does not visit the lion.
False
4
inv-proof
[(((((triple11) -> rule1) triple10) -> rule2))]
("rabbit" "visits" "lion" "-")
((((triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The dog does not visit the lion.
Unknown
inv-rconc
[@2: The dog visits the lion.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "visits" "lion" "-")
The lion visits the rabbit.
Unknown
rconc
[@1: The lion visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "rabbit" "+")
The lion does not visit the lion.
Unknown
inv-rconc
[@2: The lion visits the lion.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("lion" "visits" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The dog does not eat the lion.
Unknown
inv-random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "-")
The lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
@0: The bear chases the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear visits the rabbit.[(triple3)] The dog chases the lion.[(triple4)] The dog does not eat the rabbit.[(triple5)] The dog is big.[(triple6)] The lion chases the bear.[(triple7)] The lion does not eat the rabbit.[(triple8)] The rabbit does not chase the dog.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The bear visits the lion.[(((triple3 triple10) -> rule2))] The rabbit visits the rabbit.[(((triple11) -> rule1))] @2: The rabbit visits the lion.[(((((triple11) -> rule1) triple10) -> rule2))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple5
The dog is big.
("dog" "is" "big" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple8
The rabbit does not chase the dog.
("rabbit" "chases" "dog" "-")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The bear visits the lion.
("bear" "visits" "lion" "+")
((triple3 triple10) -> (rule2 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple11) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
((((triple11) -> (rule1 % int2)) triple10) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2