Anne is rough. Erin is round. Gary is nice. If someone is quiet then they are green. Cold people are nice. If someone is round then they are quiet.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "-")
triple2
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is rough.[(triple1)] Erin is round.[(triple2)] Gary is nice.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule3))] @2: Erin is green.[(((((triple2) -> rule3)) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2