The bear is big. Round things are big. All cold, green things are big. If the bear is green and the bear is round then the bear is big. If something is big and cold then it is round. Green things are big. Round, blue things are cold. If something is blue and round then it is big. If the bear is cold then the bear is blue.
The bear is big.
("bear" "is" "big" "+")
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All cold, green things are big.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If the bear is green and the bear is round then the bear is big.
((("bear" "is" "green" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "big" "+"))
If something is big and cold then it is round.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Green things are big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
Round, blue things are cold.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is blue and round then it is big.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If the bear is cold then the bear is blue.
((("bear" "is" "cold" "+")) -> ("bear" "is" "blue" "+"))
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 cold.
Unknown
inv-rconc
[@2: The bear is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bear" "is" "cold" "-")
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