Erin is kind. Gary is not red. Red people are green. Smart people are green. All green people are nice. If someone is green and smart then they are red. Kind people are not red. If someone is round then they are red. All round people are red. All red people are kind.
Erin is kind.
("Erin" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and smart then they are red.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Kind people are not red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Gary is not red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Erin is not kind.
False
1
inv-proof
[(triple1)]
("Erin" "is" "kind" "-")
triple1
Erin is not red.
True
2
proof
[(((triple1) -> rule5))]
("Erin" "is" "red" "-")
((triple1) -> (rule5 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is red.
False
2
inv-proof
[(((triple1) -> rule5))]
("Erin" "is" "red" "+")
((triple1) -> (rule5 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is kind.[(triple1)] Gary is not red.[(triple2)] @1: Erin is not red.[(((triple1) -> rule5))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Gary is not red.
("Gary" "is" "red" "-")
triple2
Erin is not red.
("Erin" "is" "red" "-")
((triple1) -> (rule5 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1