Erin is cold. Erin is green. Erin is rough. Fiona is not big. Fiona is green. Fiona is kind. Fiona is nice. Harry is nice. Harry is not rough. Harry is young. If Erin is not big then Erin is kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is young.
("Harry" "is" "young" "+")
If Erin is not big then Erin is kind.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "kind" "+"))
Harry is not rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "-")
triple9
Fiona is big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is not big.[(triple4)] Harry is nice.[(triple8)] Harry is not rough.[(triple9)] Harry is young.[(triple10)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10