Anne is big. Anne is not kind. Anne is red. Anne is rough. Erin is big. Erin is green. Erin is not kind. Erin is quiet. Erin is not red. Erin is not rough. Erin is not smart. Harry is big. Harry is green. Harry is not rough. Harry is smart. If something is smart and big then it is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If something is smart and big then it is kind.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Harry is green.
True
1
proof
[(triple13)]
("Harry" "is" "green" "+")
triple13
Erin is smart.
False
1
inv-proof
[(triple11)]
("Erin" "is" "smart" "+")
triple11
Harry is kind.
True
3
proof
[(((triple15 triple12) -> rule1))]
("Harry" "is" "kind" "+")
((triple15 triple12) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple15 triple12) -> rule1))]
("Harry" "is" "kind" "-")
((triple15 triple12) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is not kind.[(triple7)] Erin is not red.[(triple9)] Erin is not rough.[(triple10)] Erin is not smart.[(triple11)] Erin is quiet.[(triple8)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is not rough.[(triple14)] Harry is smart.[(triple15)] @1: Harry is kind.[(((triple15 triple12) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is not kind.
("Erin" "is" "kind" "-")
triple7
Erin is not red.
("Erin" "is" "red" "-")
triple9
Erin is not rough.
("Erin" "is" "rough" "-")
triple10
Erin is not smart.
("Erin" "is" "smart" "-")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is not rough.
("Harry" "is" "rough" "-")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is kind.
("Harry" "is" "kind" "+")
((triple15 triple12) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1