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