Anne is nice. Anne is rough. Anne is white. Anne is young. Dave is white. Erin is blue. Erin is green. Erin is nice. Erin is not white. Fiona is not blue. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is not white. Fiona is young. All quiet people are young. All white people are young. Green people are blue. Young, blue people are quiet. If Anne is not green then Anne is not rough. If Fiona is blue and Fiona is not young then Fiona is rough.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Young, blue people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is not green then Anne is not rough.
((("Anne" "is" "green" "~")) -> ("Anne" "is" "rough" "-"))
If Fiona is blue and Fiona is not young then Fiona is rough.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "rough" "+"))
Dave is white.
True
1
proof
[(triple5)]
("Dave" "is" "white" "+")
triple5
Erin is white.
False
1
inv-proof
[(triple9)]
("Erin" "is" "white" "+")
triple9
Dave is young.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "young" "+")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "young" "-")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule2))] Dave is white.[(triple5)] Erin is blue.[(triple6 OR ((triple7) -> rule3))] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is not white.[(triple9)] Fiona is nice.[(triple11)] Fiona is not blue.[(triple10)] Fiona is not white.[(triple14)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is young.[(triple15 OR ((triple12) -> rule1))] @1: Dave is young.[(((triple5) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is not white.
("Erin" "is" "white" "-")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple10
Fiona is not white.
("Fiona" "is" "white" "-")
triple14
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple15
((triple12) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1