Charlie is white. Dave is rough. Dave is white. Gary is young. Harry is quiet. Harry is smart. Harry is white. If Charlie is white then Charlie is rough.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If Charlie is white then Charlie is rough.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "rough" "+"))
Harry is quiet.
True
1
proof
[(triple5)]
("Harry" "is" "quiet" "+")
triple5
Harry is not quiet.
False
1
inv-proof
[(triple5)]
("Harry" "is" "quiet" "-")
triple5
Charlie is rough.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Charlie is white.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] Gary is young.[(triple4)] Harry is quiet.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule1))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple5
Harry is smart.
("Harry" "is" "smart" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1