Anne is blue. Anne is kind. Anne is not nice. Dave is kind. Dave is not nice. Dave is red. Harry is blue. Harry is green. Harry is not kind. Harry is nice. Harry is quiet. Harry is not smart. If something is kind and not quiet then it is nice. All blue things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is red.
("Dave" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If something is kind and not quiet then it is nice.
((("something" "is" "kind" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "nice" "+"))
All blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Harry is not nice.
False
1
inv-proof
[(triple10)]
("Harry" "is" "nice" "-")
triple10
Anne is red.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "red" "+")
((triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "red" "-")
((triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Dave is kind.[(triple4)] Dave is not nice.[(triple5)] Dave is red.[(triple6)] Harry is blue.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple10)] Harry is not kind.[(triple9)] Harry is not smart.[(triple12)] Harry is quiet.[(triple11)] @1: Anne is red.[(((triple1) -> rule2))] Harry is red.[(((triple7) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is not smart.
("Harry" "is" "smart" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1