Bob is cold. Bob is green. Bob is kind. Bob is not quiet. Dave is cold. Dave is green. Dave is nice. Dave is not quiet. Fiona is cold. Fiona is kind. Fiona is red. Fiona is young. Red, kind things are not quiet. All cold, young things are green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Red, kind things are not quiet.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "-"))
All cold, young things are green.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Dave is not quiet.
True
1
proof
[(triple8)]
("Dave" "is" "quiet" "-")
triple8
Dave is not nice.
False
1
inv-proof
[(triple7)]
("Dave" "is" "nice" "-")
triple7
Fiona is green.
True
3
proof
[(((triple9 triple12) -> rule2))]
("Fiona" "is" "green" "+")
((triple9 triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple11 triple10) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not quiet.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is not quiet.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is green.[(((triple9 triple12) -> rule2))] Fiona is not quiet.[(((triple11 triple10) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple9 triple12) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple11 triple10) -> (rule1 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1