Anne is green. Charlie is nice. Dave is young. Erin is smart. Red, furry people are green. All red, smart people are furry. Smart people are nice. Green, young people are smart. All furry, nice people are green. All red people are blue.
Anne is green.
("Anne" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Red, furry people are green.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All red, smart people are furry.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Green, young people are smart.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All furry, nice people are green.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Erin is nice.
True
2
proof
[(((triple4) -> rule3))]
("Erin" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple4) -> rule3))]
("Erin" "is" "nice" "-")
((triple4) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "smart" "-")
Erin is green.
Unknown
rconc
[@2: Erin is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Erin" "is" "green" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is green.[(triple1)] Charlie is nice.[(triple2)] Dave is young.[(triple3)] Erin is smart.[(triple4)] @1: Erin is nice.[(((triple4) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
((triple4) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1