Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is not young. Gary is furry. Gary is green. Gary is kind. Gary is smart. Gary is young. All young, smart people are furry. If someone is quiet then they are furry. If Gary is quiet and Gary is smart then Gary is white. If someone is kind and not green then they are white. Young people are not white. If someone is quiet and not smart then they are not white. If Gary is kind and Gary is not white then Gary is furry. If Bob is not white then Bob is furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All young, smart people are furry.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet then they are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Gary is quiet and Gary is smart then Gary is white.
((("Gary" "is" "quiet" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "white" "+"))
If someone is kind and not green then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "white" "+"))
Young people are not white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If someone is quiet and not smart then they are not white.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "white" "-"))
If Gary is kind and Gary is not white then Gary is furry.
((("Gary" "is" "kind" "+") ("Gary" "is" "white" "~")) -> ("Gary" "is" "furry" "+"))
If Bob is not white then Bob is furry.
((("Bob" "is" "white" "~")) -> ("Bob" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple14)]
("Gary" "is" "kind" "+")
triple14
Fiona is not white.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "white" "-")
triple10
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is furry.[(triple1 OR ((triple4) -> rule2) OR ((triple6 triple5) -> rule1) OR ((((triple6) -> rule5)) -> rule8))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is not young.[(triple11)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] Gary is furry.[(triple12 OR ((triple16 triple15) -> rule1) OR ((triple14 ((triple16) -> rule5)) -> rule7))] Gary is green.[(triple13)] Gary is kind.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)] @1: Bob is not white.[(((triple6) -> rule5))] Fiona is furry.[(((triple9) -> rule2))] Gary is not white.[(((triple16) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((triple4) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 triple5) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not white.
("Bob" "is" "white" "-")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple16 triple15) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple14 ((triple16) -> (rule5 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
int2
Gary is green.
("Gary" "is" "green" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Bob is not white.
("Bob" "is" "white" "-")
((triple6) -> (rule5 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
((triple16) -> (rule5 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1