Erin is kind. Erin is smart. Fiona is blue. If Fiona is furry and Fiona is red then Fiona is kind. Blue people are round. All blue, furry people are big. If Fiona is kind and Fiona is red then Fiona is smart. Smart people are red. If someone is furry and big then they are kind. If someone is kind then they are furry. Blue people are red.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If Fiona is furry and Fiona is red then Fiona is kind.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "kind" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
All blue, furry people are big.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If Fiona is kind and Fiona is red then Fiona is smart.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "smart" "+"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and big then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple1)]
("Erin" "is" "kind" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Fiona is not big.
Unknown
inv-rconc
[@3: Fiona is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule1 <- FAIL)]]
("Fiona" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is kind.[(triple1)] Erin is smart.[(triple2)] Fiona is blue.[(triple3)] @1: Erin is furry.[(((triple1) -> rule7))] Erin is red.[(((triple2) -> rule5))] Fiona is red.[(((triple3) -> rule8))] Fiona is round.[(((triple3) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1