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