Bob is kind. Bob is round. Dave is cold. Dave is furry. Erin is not cold. Erin is green. Erin is kind. Erin is quiet. Erin is round. Gary is furry. Gary is round. Gary is young. If someone is young then they are not green. Round, kind people are not furry.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young then they are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
Round, kind people are not furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
Dave is furry.
True
1
proof
[(triple4)]
("Dave" "is" "furry" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple4)]
("Dave" "is" "furry" "-")
triple4
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not cold.[(triple5)] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Gary is furry.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Bob is not furry.[(((triple2 triple1) -> rule2))] Erin is not furry.[(((triple9 triple7) -> rule2))] Gary is not green.[(((triple12) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Bob is not furry.
("Bob" "is" "furry" "-")
((triple2 triple1) -> (rule2 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
((triple9 triple7) -> (rule2 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple12) -> (rule1 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1