The bear is big. If someone is big and not rough then they are young. If someone is young and not round then they are big.
The bear is big.
("bear" "is" "big" "+")
If someone is big and not rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "young" "+"))
If someone is young and not round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "big" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear is not young.
Unknown
inv-rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "young" "-")
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 is big.[(triple1)]
The bear is big.
("bear" "is" "big" "+")
triple1