Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is not quiet. Charlie is rough. Dave is not rough. Dave is young. Gary is kind. Gary is young. All young things are quiet. All big, blue things are furry.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is young.
("Dave" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All young things are quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
All big, blue things are furry.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Dave is not rough.
True
1
proof
[(triple7)]
("Dave" "is" "rough" "-")
triple7
Charlie is not kind.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "kind" "-")
triple4
Gary is quiet.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "quiet" "+")
((triple10) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple8) -> rule1))]
("Dave" "is" "quiet" "-")
((triple8) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple1 triple2) -> rule2))] Charlie is kind.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is rough.[(triple6)] Dave is not rough.[(triple7)] Dave is young.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Dave is quiet.[(((triple8) -> rule1))] Gary is quiet.[(((triple10) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple1 triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Dave is not rough.
("Dave" "is" "rough" "-")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple10) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1