Charlie is not big. Charlie is not blue. Charlie is nice. Charlie is not quiet. Fiona is quiet. Fiona is red. Fiona is not young. Gary is big. Gary is nice. Gary is quiet. If something is big and blue then it is nice. Red things are nice. If something is white then it is nice. If something is white then it is not young. All white, quiet things are red. If Fiona is blue then Fiona is not white. If Gary is white and Gary is not blue then Gary is quiet. Nice things are white.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is big and blue then it is nice.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is white then it is not young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "-"))
All white, quiet things are red.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If Fiona is blue then Fiona is not white.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "white" "-"))
If Gary is white and Gary is not blue then Gary is quiet.
((("Gary" "is" "white" "+") ("Gary" "is" "blue" "~")) -> ("Gary" "is" "quiet" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Charlie is not quiet.
True
1
proof
[(triple4)]
("Charlie" "is" "quiet" "-")
triple4
Charlie is quiet.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "quiet" "+")
triple4
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Charlie is nice.[(triple3)] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not quiet.[(triple4)] Fiona is not young.[(triple7 OR ((((((triple6) -> rule2)) -> rule8)) -> rule4))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] @1: Charlie is white.[(((triple3) -> rule8))] Fiona is nice.[(((triple6) -> rule2))] Gary is white.[(((triple9) -> rule8))] @2: Charlie is not young.[(((((triple3) -> rule8)) -> rule4))] Fiona is white.[(((((triple6) -> rule2)) -> rule8))] Gary is not young.[(((((triple9) -> rule8)) -> rule4))] Gary is red.[(((((triple9) -> rule8) triple10) -> rule5))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
((((((triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Charlie is white.
("Charlie" "is" "white" "+")
((triple3) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
((((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is not young.
("Gary" "is" "young" "-")
((((triple9) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((triple9) -> (rule8 % int2)) triple10) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2