Erin is not green. Erin is not kind. Fiona is green. Fiona is young. Gary is cold. Gary is not green. Gary is not rough. Harry is green. Harry is kind. Harry is young. If Harry is kind and Harry is young then Harry is cold. If someone is rough then they are not cold. Round, rough people are green. If someone is cold and not kind then they are not young. If Erin is cold and Erin is kind then Erin is green. If Harry is kind then Harry is not rough.
Erin is not green.
("Erin" "is" "green" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is kind and Harry is young then Harry is cold.
((("Harry" "is" "kind" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "cold" "+"))
If someone is rough then they are not cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "-"))
Round, rough people are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not kind then they are not young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "-"))
If Erin is cold and Erin is kind then Erin is green.
((("Erin" "is" "cold" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "green" "+"))
If Harry is kind then Harry is not rough.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "rough" "-"))
Gary is not green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "-")
triple6
Gary is not cold.
False
1
inv-proof
[(triple5)]
("Gary" "is" "cold" "-")
triple5
Harry is cold.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Harry" "is" "cold" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
False
2
inv-proof
[(((triple9) -> rule6))]
("Harry" "is" "rough" "+")
((triple9) -> (rule6 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Erin is not green.[(triple1)] Erin is not kind.[(triple2)] Fiona is green.[(triple3)] Fiona is young.[(triple4)] Gary is cold.[(triple5)] Gary is not green.[(triple6)] Gary is not rough.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)] @1: Harry is cold.[(((triple9 triple10) -> rule1))] Harry is not rough.[(((triple9) -> rule6))]
Erin is not green.
("Erin" "is" "green" "-")
triple1
Erin is not kind.
("Erin" "is" "kind" "-")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is not green.
("Gary" "is" "green" "-")
triple6
Gary is not rough.
("Gary" "is" "rough" "-")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not rough.
("Harry" "is" "rough" "-")
((triple9) -> (rule6 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1