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