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