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