Erin is green. Erin is kind. Erin is nice. Erin is not red. Erin is round. Harry is nice. Harry is red. All red things are round. If Harry is kind then Harry is not nice.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Harry is kind then Harry is not nice.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "-"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not nice.
False
1
inv-proof
[(triple3)]
("Erin" "is" "nice" "-")
triple3
Harry is round.
True
2
proof
[(((triple7) -> rule1))]
("Harry" "is" "round" "+")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Harry" "is" "round" "-")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is not red.[(triple4)] Erin is round.[(triple5)] Harry is nice.[(triple6)] Harry is red.[(triple7)] @1: Harry is round.[(((triple7) -> rule1))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not red.
("Erin" "is" "red" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1