Erin is not blue. Erin is not furry. Erin is not nice. Harry is big. Harry is blue. Harry is not furry. Harry is green. Harry is nice. Harry is not white. Harry is young. If Erin is not nice then Erin is not green. If someone is furry then they are green.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If Erin is not nice then Erin is not green.
((("Erin" "is" "nice" "~")) -> ("Erin" "is" "green" "-"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Harry is blue.
True
1
proof
[(triple5)]
("Harry" "is" "blue" "+")
triple5
Harry is white.
False
1
inv-proof
[(triple9)]
("Harry" "is" "white" "+")
triple9
Erin is not green.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "green" "-")
((triple3) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "green" "+")
((triple3) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is not blue.[(triple1)] Erin is not furry.[(triple2)] Erin is not nice.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is green.[(triple7)] Harry is nice.[(triple8)] Harry is not furry.[(triple6)] Harry is not white.[(triple9)] Harry is young.[(triple10)] @1: Erin is not green.[(((triple3) -> rule1))]
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is not nice.
("Erin" "is" "nice" "-")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is not furry.
("Harry" "is" "furry" "-")
triple6
Harry is not white.
("Harry" "is" "white" "-")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
((triple3) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1