Erin is cold. Fiona is big. Gary is green. Harry is not furry. All rough people are not big. If Gary is green then Gary is rough.
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is not furry.
("Harry" "is" "furry" "-")
All rough people are not big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
If Gary is green then Gary is rough.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "rough" "+"))
Harry is not furry.
True
1
proof
[(triple4)]
("Harry" "is" "furry" "-")
triple4
Harry is furry.
False
1
inv-proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Gary is rough.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not big.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "big" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "big" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is cold.[(triple1)] Fiona is big.[(triple2)] Gary is green.[(triple3)] Harry is not furry.[(triple4)] @1: Gary is rough.[(((triple3) -> rule2))] @2: Gary is not big.[(((((triple3) -> rule2)) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Harry is not furry.
("Harry" "is" "furry" "-")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not big.
("Gary" "is" "big" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not big.
("Gary" "is" "big" "-")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2