The bear eats the tiger. The bear is big. The bear is kind. The bear is young. The bear likes the tiger. The rabbit eats the tiger. The rabbit is cold. The rabbit is young. The rabbit sees the bear. The tiger is big. The tiger likes the bear. The tiger likes the rabbit. If someone is young and they eat the tiger then they like the bear.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If someone is young and they eat the tiger then they like the bear.
((("someone" "is" "young" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "likes" "bear" "+"))
The rabbit is cold.
True
1
proof
[(triple7)]
("rabbit" "is" "cold" "+")
triple7
The bear is not young.
False
1
inv-proof
[(triple4)]
("bear" "is" "young" "-")
triple4
The rabbit likes the bear.
True
3
proof
[(((triple8 triple6) -> rule1))]
("rabbit" "likes" "bear" "+")
((triple8 triple6) -> (rule1 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit does not like the bear.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("rabbit" "likes" "bear" "-")
((triple8 triple6) -> (rule1 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The tiger eats the bear.
Unknown
random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "+")
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is young.[(triple4)] The bear likes the tiger.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the bear.[(triple9)] The tiger is big.[(triple10)] The tiger likes the bear.[(triple11)] The tiger likes the rabbit.[(triple12)] @1: The bear likes the bear.[(((triple4 triple1) -> rule1))] The rabbit likes the bear.[(((triple8 triple6) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple11
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple4 triple1) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple8 triple6) -> (rule1 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1