Anne is young. Charlie is young. Erin is round. Fiona is big. If something is blue and not big then it is round. Big things are green.
Anne is young.
("Anne" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If something is blue and not big then it is round.
((("something" "is" "blue" "+") ("something" "is" "big" "~")) -> ("something" "is" "round" "+"))
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Fiona is green.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "green" "+")
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "green" "-")
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "green" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Erin is round.[(triple3)] Fiona is big.[(triple4)] @1: Fiona is green.[(((triple4) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1