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