Anne is blue. Anne is green. Anne is nice. Charlie is not blue. Charlie is nice. Charlie is rough. Charlie is young. Harry is blue. Harry is green. Harry is not kind. Harry is nice. Harry is young. All rough things are quiet. Blue, nice things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
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 young.
("Harry" "is" "young" "+")
All rough things are quiet.
((("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
Blue, nice things are rough.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is rough.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple1 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple8 triple11) -> rule2))]
("Harry" "is" "rough" "-")
((triple8 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is quiet.
True
4
proof
[(((((triple1 triple3) -> rule2)) -> rule1))]
("Anne" "is" "quiet" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Harry is not quiet.
False
4
inv-proof
[(((((triple8 triple11) -> rule2)) -> rule1))]
("Harry" "is" "quiet" "-")
((((triple8 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Charlie is nice.[(triple5)] Charlie is not blue.[(triple4)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple11)] Harry is not kind.[(triple10)] Harry is young.[(triple12)] @1: Anne is rough.[(((triple1 triple3) -> rule2))] Charlie is quiet.[(((triple6) -> rule1))] Harry is rough.[(((triple8 triple11) -> rule2))] @2: Anne is quiet.[(((((triple1 triple3) -> rule2)) -> rule1))] Harry is quiet.[(((((triple8 triple11) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not kind.
("Harry" "is" "kind" "-")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple8 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2