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