Bob is rough. Charlie is kind. Fiona is white. All white people are kind. If someone is smart then they are not round. All kind, rough people are white. If someone is round then they are not green. If someone is kind then they are green. All green, white people are not smart. If someone is round and white then they are not young. If Charlie is not kind then Charlie is young.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart then they are not round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "-"))
All kind, rough people are white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If someone is round then they are not green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
If someone is kind then they are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All green, white people are not smart.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If someone is round and white then they are not young.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "-"))
If Charlie is not kind then Charlie is young.
((("Charlie" "is" "kind" "~")) -> ("Charlie" "is" "young" "+"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Fiona is kind.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple2) -> rule5))]
("Charlie" "is" "green" "-")
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is green.
True
3
proof
[(((((triple3) -> rule1)) -> rule5))]
("Fiona" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5))]
("Fiona" "is" "green" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not smart.
True
5
proof
[(((((((triple3) -> rule1)) -> rule5) triple3) -> rule6))]
("Fiona" "is" "smart" "-")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is smart.
False
5
inv-proof
[(((((((triple3) -> rule1)) -> rule5) triple3) -> rule6))]
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is white.
Unknown
rconc
[@2: Bob is white.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2)] Fiona is white.[(triple3)] @1: Charlie is green.[(((triple2) -> rule5))] Fiona is kind.[(((triple3) -> rule1))] @2: Fiona is green.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is not smart.[(((((((triple3) -> rule1)) -> rule5) triple3) -> rule6))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not smart.
("Fiona" "is" "smart" "-")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3