Anne is rough. Charlie is green. Charlie is quiet. Charlie is young. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Gary is young. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is white. Harry is young. All quiet, white people are furry.
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet, white people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple11 OR ((triple13 triple15) -> rule1))]
("Harry" "is" "furry" "+")
triple11
((triple13 triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Charlie is not young.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "young" "-")
triple4
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is rough.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Gary is furry.[(triple5 OR ((triple7 triple9) -> rule1))] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is furry.[(triple11 OR ((triple13 triple15) -> rule1))] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple7 triple9) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple13 triple15) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16