The bear chases the rabbit. The bear eats the rabbit. The bear is blue. The bear is cold. The bear is green. The bear is young. The bear visits the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is blue. The rabbit is young. The rabbit visits the bear. If something visits the bear and the bear is blue then it is green. If something eats the bear and the bear is blue then it is cold. If something eats the bear and the bear is blue then it is cold.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the bear and the bear is blue then it is green.
((("something" "visits" "bear" "+") ("bear" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something eats the bear and the bear is blue then it is cold.
((("something" "eats" "bear" "+") ("bear" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something eats the bear and the bear is blue then it is cold.
((("something" "eats" "bear" "+") ("bear" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
The rabbit is blue.
True
1
proof
[(triple10)]
("rabbit" "is" "blue" "+")
triple10
The rabbit is not young.
False
1
inv-proof
[(triple11)]
("rabbit" "is" "young" "-")
triple11
The rabbit is green.
True
3
proof
[(((triple12 triple3) -> rule1))]
("rabbit" "is" "green" "+")
((triple12 triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
3
inv-proof
[(((triple12 triple3) -> rule1))]
("rabbit" "is" "green" "-")
((triple12 triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is young.[(triple6)] The bear visits the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is young.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The rabbit is cold.[(((triple9 triple3) -> rule2) OR ((triple9 triple3) -> rule3))] The rabbit is green.[(((triple12 triple3) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple8
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple9 triple3) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
((triple9 triple3) -> (rule3 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple12 triple3) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1