Charlie is not big. Charlie is not cold. Erin is big. Fiona is not big. Fiona is not cold. Fiona is green. Fiona is not kind. Fiona is young. Gary is cold. Gary is green. Gary is not rough. Gary is young. Young people are green. All big people are not quiet. If someone is kind and big then they are cold. If someone is rough and not green then they are cold. If someone is green and quiet then they are not kind. Quiet, cold people are kind. Green, big people are not kind. Kind, cold people are not rough.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Erin is big.
("Erin" "is" "big" "+")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is young.
("Gary" "is" "young" "+")
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All big people are not quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "-"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and not green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
If someone is green and quiet then they are not kind.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
Quiet, cold people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Green, big people are not kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "-"))
Kind, cold people are not rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Charlie is big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Erin is not quiet.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "quiet" "-")
((triple3) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is quiet.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is cold.
Unknown
rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is not big.[(triple1)] Charlie is not cold.[(triple2)] Erin is big.[(triple3)] Fiona is green.[(triple6 OR ((triple8) -> rule1))] Fiona is not big.[(triple4)] Fiona is not cold.[(triple5)] Fiona is not kind.[(triple7)] Fiona is young.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10 OR ((triple12) -> rule1))] Gary is not rough.[(triple11)] Gary is young.[(triple12)] @1: Erin is not quiet.[(((triple3) -> rule2))]
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
((triple12) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is not quiet.
("Erin" "is" "quiet" "-")
((triple3) -> (rule2 % int1))
Erin is not quiet.
("Erin" "is" "quiet" "-")
int1