Dave is green. Erin is quiet. Fiona is not kind. Gary is nice. Blue, green things are kind. All blue, quiet things are not white. If something is white then it is not nice. All blue things are quiet. If something is nice then it is blue. If Fiona is not blue and Fiona is not green then Fiona is big.
Dave is green.
("Dave" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Blue, green things are kind.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
All blue, quiet things are not white.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "-"))
If something is white then it is not nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "-"))
All blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Fiona is not blue and Fiona is not green then Fiona is big.
((("Fiona" "is" "blue" "~") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "big" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Gary is blue.
True
2
proof
[(((triple4) -> rule5))]
("Gary" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple4) -> rule5))]
("Gary" "is" "blue" "-")
((triple4) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
True
3
proof
[(((((triple4) -> rule5)) -> rule4))]
("Gary" "is" "quiet" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not quiet.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule4))]
("Gary" "is" "quiet" "-")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not white.
True
6
proof
[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule4)) -> rule2))]
("Gary" "is" "white" "-")
((((triple4) -> (rule5 % int3)) ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is white.
False
6
inv-proof
[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule4)) -> rule2))]
("Gary" "is" "white" "+")
((((triple4) -> (rule5 % int3)) ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not quiet.
Unknown
inv-rconc
[@2: Dave is quiet.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "quiet" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is green.[(triple1)] Erin is quiet.[(triple2)] Fiona is not kind.[(triple3)] Gary is nice.[(triple4)] @1: Gary is blue.[(((triple4) -> rule5))] @2: Gary is quiet.[(((((triple4) -> rule5)) -> rule4))] @3: Gary is not white.[(((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule4)) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not white.
("Gary" "is" "white" "-")
((((triple4) -> (rule5 % int3)) ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3