Bob is not kind. Fiona is kind. Gary is rough. Red, cold people are not nice. All red people are kind. Red, cold people are big. If Bob is nice and Bob is not kind then Bob is big. All red, big people are round. If someone is nice and rough then they are round.
Bob is not kind.
("Bob" "is" "kind" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Red, cold people are not nice.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Red, cold people are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If Bob is nice and Bob is not kind then Bob is big.
((("Bob" "is" "nice" "+") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "big" "+"))
All red, big people are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Bob is kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is not kind.[(triple1)] Fiona is kind.[(triple2)] Gary is rough.[(triple3)]
Bob is not kind.
("Bob" "is" "kind" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3