Anne is blue. Anne is smart. Dave is smart. Dave is young. Fiona is not blue. Fiona is smart. Fiona is white. If someone is blue and not smart then they are quiet. Smart, red people are not quiet. If someone is red then they are blue. All red people are not blue. If someone is nice and not quiet then they are not white. If someone is blue and white then they are young. Blue people are young. Young, red people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is blue and not smart then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "quiet" "+"))
Smart, red people are not quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "-"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All red people are not blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "-"))
If someone is nice and not quiet then they are not white.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "white" "-"))
If someone is blue and white then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Young, red people are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Fiona is not blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Fiona is not smart.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "smart" "-")
triple6
Anne is young.
True
2
proof
[(((triple1) -> rule7))]
("Anne" "is" "young" "+")
((triple1) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule7))]
("Anne" "is" "young" "-")
((triple1) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is not blue.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] @1: Anne is young.[(((triple1) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule7 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1