Erin is red. Harry is red. Harry is white. If Erin is furry and Erin is kind then Erin is white. If something is red then it is white.
Erin is red.
("Erin" "is" "red" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
If Erin is furry and Erin is kind then Erin is white.
((("Erin" "is" "furry" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "white" "+"))
If something is red then it is white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Harry is white.
True
1
proof
[(triple3 OR ((triple2) -> rule2))]
("Harry" "is" "white" "+")
triple3
((triple2) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Erin is not red.
False
1
inv-proof
[(triple1)]
("Erin" "is" "red" "-")
triple1
Erin is white.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "white" "+")
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "white" "-")
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is red.[(triple1)] Harry is red.[(triple2)] Harry is white.[(triple3 OR ((triple2) -> rule2))] @1: Erin is white.[(((triple1) -> rule2))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
((triple2) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1