Erin is red. Harry is green. All red people are smart. All blue, quiet people are furry. Green, quiet people are red. All furry, blue people are quiet. All red, furry people are blue. All round people are green.
Erin is red.
("Erin" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
All blue, quiet people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Green, quiet people are red.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All furry, blue people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All red, furry people are blue.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple2)]
("Harry" "is" "green" "+")
triple2
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is smart.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Harry is not quiet.
Unknown
inv-rconc
[@2: Harry is quiet.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Erin is blue.
Unknown
rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Erin" "is" "blue" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is red.[(triple1)] Harry is green.[(triple2)] @1: Erin is smart.[(((triple1) -> rule1))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1