Bob is green. Bob is quiet. Bob is red. Bob is young. Dave is kind. Dave is red. Fiona is green. Gary is not green. Gary is quiet. Gary is young. Kind things are not green.
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind things are not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Dave is not green.
True
2
proof
[(((triple5) -> rule1))]
("Dave" "is" "green" "-")
((triple5) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is green.
False
2
inv-proof
[(((triple5) -> rule1))]
("Dave" "is" "green" "+")
((triple5) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Fiona is green.[(triple7)] Gary is not green.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Dave is not green.[(((triple5) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Gary is not green.
("Gary" "is" "green" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is not green.
("Dave" "is" "green" "-")
((triple5) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1