Erin is blue. Erin is green. Erin is nice. Erin is rough. Harry is blue. Harry is kind. Harry is young. If something is green then it is big. If something is kind then it is green.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is green then it is big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "-")
triple2
Erin is big.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "big" "+")
((triple2) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "big" "-")
((triple2) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is big.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("Harry" "is" "big" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("Harry" "is" "big" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Erin is big.[(((triple2) -> rule1))] Harry is green.[(((triple6) -> rule2))] @2: Harry is big.[(((((triple6) -> rule2)) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
((triple2) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2