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