Bob is kind. Erin is cold. Gary is quiet. If someone is quiet then they are round. If Bob is cold then Bob is nice.
Bob is kind.
("Bob" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If Bob is cold then Bob is nice.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "nice" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple3)]
("Gary" "is" "quiet" "-")
triple3
Gary is round.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "round" "+")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "round" "-")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Erin is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is round.[(((triple3) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
((triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1