Erin is big. Erin is blue. Erin is cold. Erin is not furry. Erin is white. Fiona is cold. Fiona is furry. If something is white then it is not rough. If something is kind and not rough then it is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If something is white then it is not rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "-"))
If something is kind and not rough then it is furry.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "furry" "+"))
Erin is blue.
True
1
proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "cold" "-")
triple6
Erin is not rough.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "rough" "+")
((triple5) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is not furry.[(triple4)] Erin is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] @1: Erin is not rough.[(((triple5) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is not furry.
("Erin" "is" "furry" "-")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Erin is not rough.
("Erin" "is" "rough" "-")
((triple5) -> (rule1 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1