Anne is furry. Anne is red. Anne is not smart. Bob is not blue. Bob is furry. Bob is not smart. Dave is furry. Dave is quiet. Erin is blue. Erin is furry. Erin is red. Erin is white. All cold people are not smart. Cold people are smart. Furry, quiet people are smart. If Erin is quiet and Erin is smart then Erin is blue. All smart people are furry. If Dave is blue and Dave is not cold then Dave is not smart. If Anne is white then Anne is not quiet. All white, blue people are red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
All cold people are not smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Furry, quiet people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Erin is quiet and Erin is smart then Erin is blue.
((("Erin" "is" "quiet" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "blue" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Dave is blue and Dave is not cold then Dave is not smart.
((("Dave" "is" "blue" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "smart" "-"))
If Anne is white then Anne is not quiet.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "-"))
All white, blue people are red.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Bob is not blue.
True
1
proof
[(triple4)]
("Bob" "is" "blue" "-")
triple4
Dave is not quiet.
False
1
inv-proof
[(triple8)]
("Dave" "is" "quiet" "-")
triple8
Dave is smart.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "smart" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "smart" "-")
((triple7 triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "red" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is furry.[(triple1)] Anne is not smart.[(triple3)] Anne is red.[(triple2)] Bob is furry.[(triple5)] Bob is not blue.[(triple4)] Bob is not smart.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is red.[(triple11 OR ((triple12 triple9) -> rule8))] Erin is white.[(triple12)] @1: Dave is smart.[(((triple7 triple8) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is not blue.
("Bob" "is" "blue" "-")
triple4
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple12 triple9) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple12
Dave is smart.
("Dave" "is" "smart" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1