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