The bear chases the cow. The bear eats the cow. The bear eats the tiger. The bear is cold. The bear is rough. The cow does not chase the rabbit. The cow eats the bear. The cow is nice. The cow is not red. The rabbit does not eat the bear. The rabbit is young. The tiger does not chase the bear. The tiger eats the bear. The tiger does not eat the cow. The tiger eats the rabbit. The tiger is not red. If someone eats the tiger then they chase the rabbit.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not red.
("cow" "is" "red" "-")
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is not red.
("tiger" "is" "red" "-")
If someone eats the tiger then they chase the rabbit.
((("someone" "eats" "tiger" "+")) -> ("someone" "chases" "rabbit" "+"))
The tiger eats the rabbit.
True
1
proof
[(triple15)]
("tiger" "eats" "rabbit" "+")
triple15
The bear does not eat the cow.
False
1
inv-proof
[(triple2)]
("bear" "eats" "cow" "-")
triple2
The bear chases the rabbit.
True
2
proof
[(((triple3) -> rule1))]
("bear" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "chases" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The tiger does not chase the rabbit.
Unknown
inv-rconc
[@1: The tiger chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear eats the tiger.[(triple3)] The bear is cold.[(triple4)] The bear is rough.[(triple5)] The cow does not chase the rabbit.[(triple6)] The cow eats the bear.[(triple7)] The cow is nice.[(triple8)] The cow is not red.[(triple9)] The rabbit does not eat the bear.[(triple10)] The rabbit is young.[(triple11)] The tiger does not chase the bear.[(triple12)] The tiger does not eat the cow.[(triple14)] The tiger eats the bear.[(triple13)] The tiger eats the rabbit.[(triple15)] The tiger is not red.[(triple16)] @1: The bear chases the rabbit.[(((triple3) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear eats the cow.
("bear" "eats" "cow" "+")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The cow does not chase the rabbit.
("cow" "chases" "rabbit" "-")
triple6
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not red.
("cow" "is" "red" "-")
triple9
The rabbit does not eat the bear.
("rabbit" "eats" "bear" "-")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple12
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
triple14
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple13
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple15
The tiger is not red.
("tiger" "is" "red" "-")
triple16
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple3) -> (rule1 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1