Anne is not green. Anne is not young. Charlie is big. Charlie is not white. Erin is rough. Erin is round. Erin is white. Erin is not young. Gary is not cold. Gary is young. If something is white then it is big. If something is big and not cold then it is green. If Charlie is not big then Charlie is green.
Anne is not green.
("Anne" "is" "green" "-")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is young.
("Gary" "is" "young" "+")
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is big and not cold then it is green.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "is" "green" "+"))
If Charlie is not big then Charlie is green.
((("Charlie" "is" "big" "~")) -> ("Charlie" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple3)]
("Charlie" "is" "big" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple10)]
("Gary" "is" "young" "-")
triple10
Erin is big.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple7) -> rule1))]
("Erin" "is" "big" "-")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Anne is not green.[(triple1)] Anne is not young.[(triple2)] Charlie is big.[(triple3)] Charlie is not white.[(triple4)] Erin is not young.[(triple8)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is not cold.[(triple9)] Gary is young.[(triple10)] @1: Erin is big.[(((triple7) -> rule1))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is not white.
("Charlie" "is" "white" "-")
triple4
Erin is not young.
("Erin" "is" "young" "-")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is not cold.
("Gary" "is" "cold" "-")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1