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