Anne is quiet. Charlie is quiet. Erin is round. Fiona is smart. All nice, red people are smart. Rough people are smart. If someone is nice and young then they are quiet. If Fiona is smart and Fiona is nice then Fiona is red. If someone is smart and red then they are quiet. Smart people are rough.
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All nice, red people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is nice and young then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is smart and Fiona is nice then Fiona is red.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "red" "+"))
If someone is smart and red then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple3)]
("Erin" "is" "round" "-")
triple3
Anne is not smart.
Unknown
inv-rconc
[@3: Anne is smart.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Erin is round.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is rough.[(((triple4) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1