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