Erin is blue. Fiona is kind. Fiona is white. If someone is green and big then they are kind. If someone is furry and quiet then they are green. If someone is kind then they are blue.
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is green and big then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry and quiet then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Fiona is blue.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "blue" "-")
((triple2) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is blue.[(((triple2) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1