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