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