Anne is green. Anne is quiet. Charlie is nice. Charlie is white. Erin is not quiet. Fiona is round. Fiona is white. Blue things are not big. If something is white and not blue then it is big. If Charlie is white and Charlie is round then Charlie is green. Green things are nice. If something is quiet and not big then it is green. Round things are green. Round things are not quiet. If Charlie is not big then Charlie is not round.
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Blue things are not big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
If something is white and not blue then it is big.
((("something" "is" "white" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
If Charlie is white and Charlie is round then Charlie is green.
((("Charlie" "is" "white" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "green" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is quiet and not big then it is green.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Round things are not quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "-"))
If Charlie is not big then Charlie is not round.
((("Charlie" "is" "big" "~")) -> ("Charlie" "is" "round" "-"))
Fiona is white.
True
1
proof
[(triple7)]
("Fiona" "is" "white" "+")
triple7
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Fiona is green.
True
2
proof
[(((triple6) -> rule6))]
("Fiona" "is" "green" "+")
((triple6) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
False
2
inv-proof
[(((triple6) -> rule7))]
("Fiona" "is" "quiet" "+")
((triple6) -> (rule7 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is nice.
True
3
proof
[(((((triple6) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "+")
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "-")
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is nice.[(triple3)] Charlie is white.[(triple4)] Erin is not quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Anne is nice.[(((triple1) -> rule4))] Fiona is green.[(((triple6) -> rule6))] Fiona is not quiet.[(((triple6) -> rule7))] @2: Fiona is nice.[(((((triple6) -> rule6)) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
((triple6) -> (rule7 % int1))
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2