Anne is blue. Erin is big. Erin is furry. Erin is kind. Fiona is big. Fiona is furry. Fiona is quiet. All smart, furry people are young. If someone is quiet and smart then they are blue. If someone is smart and furry then they are young. Smart people are quiet. If someone is quiet and smart then they are young. Blue people are big.
Anne is blue.
("Anne" "is" "blue" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
All smart, furry people are young.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and smart then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is smart and furry then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Smart people are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and smart then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Erin is kind.
True
1
proof
[(triple4)]
("Erin" "is" "kind" "+")
triple4
Fiona is not furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "-")
triple6
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "blue" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is quiet.[(triple7)] @1: Anne is big.[(((triple1) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1