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