Bob is blue. If Bob is big then Bob is cold. All round people are not quiet. If someone is big and not blue then they are not round. If someone is kind then they are big. All kind people are big. If someone is kind and not round then they are not cold.
Bob is blue.
("Bob" "is" "blue" "+")
If Bob is big then Bob is cold.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "cold" "+"))
All round people are not quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
If someone is big and not blue then they are not round.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "round" "-"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and not round then they are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "-"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple1)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1