Bob is nice. Charlie is furry. Erin is nice. Harry is quiet. Quiet people are not round. If Erin is nice then Erin is not kind.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Quiet people are not round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "-"))
If Erin is nice then Erin is not kind.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "kind" "-"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Erin is not nice.
False
1
inv-proof
[(triple3)]
("Erin" "is" "nice" "-")
triple3
Erin is not kind.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Harry is round.
False
2
inv-proof
[(((triple4) -> rule1))]
("Harry" "is" "round" "+")
((triple4) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is nice.[(triple1)] Charlie is furry.[(triple2)] Erin is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Erin is not kind.[(((triple3) -> rule2))] Harry is not round.[(((triple4) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Erin is not kind.
("Erin" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Harry is not round.
("Harry" "is" "round" "-")
((triple4) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1