Anne is kind. Anne is quiet. Anne is round. Bob is kind. Bob is red. Dave is white. Erin is quiet. Erin is not red. Erin is round. Erin is smart. If someone is smart and not quiet then they are kind. Red people are smart.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is smart and not quiet then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "kind" "+"))
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Erin is round.
True
1
proof
[(triple9)]
("Erin" "is" "round" "+")
triple9
Erin is not quiet.
False
1
inv-proof
[(triple7)]
("Erin" "is" "quiet" "-")
triple7
Bob is smart.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
2
inv-proof
[(((triple5) -> rule2))]
("Bob" "is" "smart" "-")
((triple5) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Dave is white.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Erin is round.[(triple9)] Erin is smart.[(triple10)] @1: Bob is smart.[(((triple5) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is not red.
("Erin" "is" "red" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1