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