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