Anne is green. Bob is cold. Bob is quiet. Bob is not white. Bob is not young. Dave is green. Dave is not kind. Dave is quiet. Dave is not white. Dave is young. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. White things are not cold.
Anne is green.
("Anne" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is not young.
("Bob" "is" "young" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is not white.
("Dave" "is" "white" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
White things are not cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "-"))
Bob is not white.
True
1
proof
[(triple4)]
("Bob" "is" "white" "-")
triple4
Bob is young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Fiona is not cold.
True
2
proof
[(((triple14) -> rule1))]
("Fiona" "is" "cold" "-")
((triple14) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is cold.
False
2
inv-proof
[(((triple14) -> rule1))]
("Fiona" "is" "cold" "+")
((triple14) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Bob is not white.[(triple4)] Bob is not young.[(triple5)] Bob is quiet.[(triple3)] Dave is green.[(triple6)] Dave is not kind.[(triple7)] Dave is not white.[(triple9)] Dave is quiet.[(triple8)] Dave is young.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15)] @1: Fiona is not cold.[(((triple14) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is not kind.
("Dave" "is" "kind" "-")
triple7
Dave is not white.
("Dave" "is" "white" "-")
triple9
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple14) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1