Bob is white. Dave is quiet. Dave is red. Dave is young. Gary is quiet. Harry is blue. Harry is not young. Young people are not green.
Bob is white.
("Bob" "is" "white" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not young.
("Harry" "is" "young" "-")
Young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
Dave is young.
True
1
proof
[(triple4)]
("Dave" "is" "young" "+")
triple4
Harry is young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Dave is not green.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "green" "-")
((triple4) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is green.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "green" "+")
((triple4) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is white.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is young.[(triple4)] Gary is quiet.[(triple5)] Harry is blue.[(triple6)] Harry is not young.[(triple7)] @1: Dave is not green.[(((triple4) -> rule1))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is not young.
("Harry" "is" "young" "-")
triple7
Dave is not green.
("Dave" "is" "green" "-")
((triple4) -> (rule1 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1