Bob is green. Charlie is blue. Erin is young. Big people are young. Big people are not young. All green, blue people are not white. Big, quiet people are white. All quiet people are not blue. If someone is white then they are blue. If someone is young then they are green. All kind people are not big.
Bob is green.
("Bob" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is young.
("Erin" "is" "young" "+")
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Big people are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
All green, blue people are not white.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
Big, quiet people are white.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All quiet people are not blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
If someone is white then they are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All kind people are not big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Erin is green.
True
2
proof
[(((triple3) -> rule7))]
("Erin" "is" "green" "+")
((triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple3) -> rule7))]
("Erin" "is" "green" "-")
((triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Erin" "is" "blue" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple2)] Erin is young.[(triple3)] @1: Erin is green.[(((triple3) -> rule7))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1