Anne is cold. Anne is nice. Anne is white. Dave is not furry. Dave is white. Erin is furry. Erin is green. Erin is nice. Erin is white. Gary is nice. Green, white people are furry. All nice people are white. If someone is cold and not blue then they are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Green, white people are furry.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If someone is cold and not blue then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "white" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Dave is not white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "-")
triple5
Gary is white.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "white" "+")
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "white" "-")
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule2))] Dave is not furry.[(triple4)] Dave is white.[(triple5)] Erin is furry.[(triple6 OR ((triple7 triple9) -> rule1) OR ((triple7 ((triple8) -> rule2)) -> rule1))] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is white.[(triple9 OR ((triple8) -> rule2))] Gary is nice.[(triple10)] @1: Gary is white.[(((triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
((triple7 triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1