Charlie is quiet. Charlie is rough. Gary is furry. Gary is red. Gary is rough. Gary is young. Harry is green. Harry is rough. Harry is white. Harry is young. All quiet things are white. If Gary is young and Gary is green then Gary is furry.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If Gary is young and Gary is green then Gary is furry.
((("Gary" "is" "young" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "furry" "+"))
Harry is young.
True
1
proof
[(triple10)]
("Harry" "is" "young" "+")
triple10
Gary is not rough.
False
1
inv-proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
Charlie is white.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "white" "+")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "white" "-")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Gary is furry.[(triple3)] Gary is red.[(triple4)] Gary is rough.[(triple5)] Gary is young.[(triple6)] Harry is green.[(triple7)] Harry is rough.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Charlie is white.[(((triple1) -> rule1))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1