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