Charlie is furry. Charlie is not kind. Fiona is round. All white people are not green. All quiet people are green. All white, round people are kind. All white people are furry. If someone is nice then they are white. All round people are nice. Kind people are nice. If Charlie is quiet then Charlie is furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Fiona is round.
("Fiona" "is" "round" "+")
All white people are not green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "-"))
All quiet people are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All white, round people are kind.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice then they are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is quiet then Charlie is furry.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
Charlie is not kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Fiona is nice.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
True
3
proof
[(((((triple3) -> rule6)) -> rule5))]
("Fiona" "is" "white" "+")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule5))]
("Fiona" "is" "white" "-")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
True
4
proof
[(((((((triple3) -> rule6)) -> rule5)) -> rule4))]
("Fiona" "is" "furry" "+")
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is green.
False
4
inv-proof
[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]
("Fiona" "is" "green" "+")
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is furry.[(triple1)] Charlie is not kind.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule6))] @2: Fiona is white.[(((((triple3) -> rule6)) -> rule5))] @3: Fiona is furry.[(((((((triple3) -> rule6)) -> rule5)) -> rule4))] Fiona is kind.[(((((((triple3) -> rule6)) -> rule5) triple3) -> rule3))] Fiona is not green.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not green.
("Fiona" "is" "green" "-")
((((((triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3