Dave is blue. Dave is quiet. Dave is young. Gary is furry. Gary is not rough. Gary is round. Gary is young. Harry is blue. Harry is round. Harry is young. All quiet people are white. If someone is white and not quiet then they are furry. All round people are not rough. If Harry is white and Harry is blue then Harry is not round. Rough, blue people are young. If someone is rough and not furry then they are blue. If someone is round and furry then they are blue. If Gary is white and Gary is not furry then Gary is rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If someone is white and not quiet then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
All round people are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If Harry is white and Harry is blue then Harry is not round.
((("Harry" "is" "white" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "round" "-"))
Rough, blue people are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and not furry then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "blue" "+"))
If someone is round and furry then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If Gary is white and Gary is not furry then Gary is rough.
((("Gary" "is" "white" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "rough" "+"))
Dave is quiet.
True
1
proof
[(triple2)]
("Dave" "is" "quiet" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple10)]
("Harry" "is" "young" "-")
triple10
Harry is not rough.
True
2
proof
[(((triple9) -> rule3))]
("Harry" "is" "rough" "-")
((triple9) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Dave is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "white" "-")
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Gary is furry.[(triple4)] Gary is not rough.[(triple5 OR ((triple6) -> rule3))] Gary is round.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Dave is white.[(((triple2) -> rule1))] Gary is blue.[(((triple6 triple4) -> rule7))] Harry is not rough.[(((triple9) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Gary is not rough.
("Gary" "is" "rough" "-")
triple5
((triple6) -> (rule3 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple6 triple4) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
((triple9) -> (rule3 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1