Charlie is not blue. Charlie is rough. Charlie is round. Dave is nice. Erin is not blue. Fiona is blue. Fiona is rough. All white things are blue. If something is kind and not rough then it is not cold. Rough, round things are cold. Blue things are round. All kind things are not nice. If something is round then it is kind.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All white things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not rough then it is not cold.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "-"))
Rough, round things are cold.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All kind things are not nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Charlie is cold.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple6) -> rule4))]
("Fiona" "is" "round" "-")
((triple6) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is not nice.
True
3
proof
[(((((triple3) -> rule6)) -> rule5))]
("Charlie" "is" "nice" "-")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((triple7 ((triple6) -> rule4)) -> rule3))]
("Fiona" "is" "cold" "-")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not nice.
True
4
proof
[(((((((triple6) -> rule4)) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "-")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
False
4
inv-proof
[(((((((triple6) -> rule4)) -> rule6)) -> rule5))]
("Fiona" "is" "nice" "+")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not kind.
Unknown
inv-rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Erin" "is" "kind" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is not blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Dave is nice.[(triple4)] Erin is not blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is rough.[(triple7)] @1: Charlie is cold.[(((triple2 triple3) -> rule3))] Charlie is kind.[(((triple3) -> rule6))] Fiona is round.[(((triple6) -> rule4))] @2: Charlie is not nice.[(((((triple3) -> rule6)) -> rule5))] Fiona is cold.[(((triple7 ((triple6) -> rule4)) -> rule3))] Fiona is kind.[(((((triple6) -> rule4)) -> rule6))] @3: Fiona is not nice.[(((((((triple6) -> rule4)) -> rule6)) -> rule5))]
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is not nice.
("Charlie" "is" "nice" "-")
((((triple3) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not nice.
("Fiona" "is" "nice" "-")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3