The bear is kind. The bear is young. The bear sees the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit sees the bear. The rabbit visits the bear. If something is young and it chases the rabbit then it sees the bear. If something is young and it chases the rabbit then it sees the bear.
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
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 kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something is young and it chases the rabbit then it sees the bear.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("something" "sees" "bear" "+"))
If something is young and it chases the rabbit then it sees the bear.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("something" "sees" "bear" "+"))
The rabbit is young.
True
1
proof
[(triple8)]
("rabbit" "is" "young" "+")
triple8
The rabbit is not young.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "young" "-")
triple8
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bear is kind.[(triple1)] The bear is young.[(triple2)] The bear sees the rabbit.[(triple3)] The bear visits the rabbit.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit visits the bear.[(triple10)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10