Bob is kind. Bob is nice. Erin is cold. Erin is kind. Erin is not nice. Gary is cold. Gary is rough. If something is round and not blue then it is not cold. If something is blue and nice then it is not kind. If something is blue and not nice then it is kind. If something is kind and not round then it is rough. Nice, round things are rough. If something is kind then it is quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is round and not blue then it is not cold.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "is" "cold" "-"))
If something is blue and nice then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If something is blue and not nice then it is kind.
((("something" "is" "blue" "+") ("something" "is" "nice" "~")) -> ("something" "is" "kind" "+"))
If something is kind and not round then it is rough.
((("something" "is" "kind" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
Nice, round things are rough.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple7)]
("Gary" "is" "rough" "-")
triple7
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Gary is cold.[(triple6)] Gary is rough.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule6))] Erin is quiet.[(((triple4) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not nice.
("Erin" "is" "nice" "-")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple4) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1