Charlie is not nice. Charlie is young. Fiona is kind. If someone is kind and not nice then they are cold. If Fiona is not kind then Fiona is not cold. Blue people are young. If someone is kind then they are blue. If someone is green and not cold then they are rough. If someone is cold then they are not rough.
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is kind and not nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "cold" "+"))
If Fiona is not kind then Fiona is not cold.
((("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "cold" "-"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and not cold then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Charlie is nice.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "nice" "+")
triple1
Fiona is blue.
True
2
proof
[(((triple3) -> rule4))]
("Fiona" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple3) -> rule4))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
True
3
proof
[(((((triple3) -> rule4)) -> rule3))]
("Fiona" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule3))]
("Fiona" "is" "young" "-")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is not nice.[(triple1)] Charlie is young.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule4))] @2: Fiona is young.[(((((triple3) -> rule4)) -> rule3))]
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2