Anne is smart. Charlie is smart. Erin is red. Gary is quiet. All smart, green people are red. If someone is cold and quiet then they are green.
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All smart, green people are red.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and quiet then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Erin is red.
True
1
proof
[(triple3)]
("Erin" "is" "red" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple3)]
("Erin" "is" "red" "-")
triple3
Anne is not red.
Unknown
inv-rconc
[@2: Anne is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is smart.[(triple1)] Charlie is smart.[(triple2)] Erin is red.[(triple3)] Gary is quiet.[(triple4)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4