Anne is blue. Anne is furry. Anne is quiet. Anne is not rough. Anne is round. Bob is furry. Bob is smart. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Erin is blue. Erin is nice. Erin is quiet. Erin is smart. If Anne is rough then Anne is blue. If someone is round and smart then they are furry. Smart people are not round. If someone is nice and rough then they are quiet. All round people are quiet. If someone is round and not furry then they are not quiet. Nice, furry people are quiet. If someone is smart and not furry then they are not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Anne is rough then Anne is blue.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "blue" "+"))
If someone is round and smart then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Smart people are not round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "-"))
If someone is nice and rough then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round and not furry then they are not quiet.
((("someone" "is" "round" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "quiet" "-"))
Nice, furry people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart and not furry then they are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "blue" "-"))
Dave is nice.
True
1
proof
[(triple10)]
("Dave" "is" "nice" "+")
triple10
Erin is not quiet.
False
1
inv-proof
[(triple14)]
("Erin" "is" "quiet" "-")
triple14
Bob is not round.
True
2
proof
[(((triple7) -> rule3))]
("Bob" "is" "round" "-")
((triple7) -> (rule3 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Erin is round.
False
2
inv-proof
[(((triple15) -> rule3))]
("Erin" "is" "round" "+")
((triple15) -> (rule3 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "quiet" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3 OR ((triple5) -> rule5))] Anne is round.[(triple5)] Bob is furry.[(triple6)] Bob is smart.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is nice.[(triple10)] Dave is quiet.[(triple11 OR ((triple10 triple9) -> rule7))] Erin is blue.[(triple12)] Erin is nice.[(triple13)] Erin is quiet.[(triple14)] Erin is smart.[(triple15)] @1: Bob is not round.[(((triple7) -> rule3))] Erin is not round.[(((triple15) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple5) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple11
((triple10 triple9) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Bob is not round.
("Bob" "is" "round" "-")
((triple7) -> (rule3 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Erin is not round.
("Erin" "is" "round" "-")
((triple15) -> (rule3 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1