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