Anne is not rough. Erin is rough. Fiona is white. Gary is cold. All rough things are nice. If Erin is nice then Erin is white. Cold, blue things are young. All cold, white things are blue. If something is white and not rough then it is cold. White, rough things are not cold.
Anne is not rough.
("Anne" "is" "rough" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Erin is nice then Erin is white.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "white" "+"))
Cold, blue things are young.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All cold, white things are blue.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is white and not rough then it is cold.
((("something" "is" "white" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
White, rough things are not cold.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
Fiona is white.
True
1
proof
[(triple3)]
("Fiona" "is" "white" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Erin is nice.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "nice" "-")
((triple2) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("Erin" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("Erin" "is" "white" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not cold.
True
5
proof
[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6))]
("Erin" "is" "cold" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is cold.
False
5
inv-proof
[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6))]
("Erin" "is" "cold" "+")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "cold" "+")
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "young" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is not rough.[(triple1)] Erin is rough.[(triple2)] Fiona is white.[(triple3)] Gary is cold.[(triple4)] @1: Erin is nice.[(((triple2) -> rule1))] @2: Erin is white.[(((((triple2) -> rule1)) -> rule2))] @3: Erin is not cold.[(((((((triple2) -> rule1)) -> rule2) triple2) -> rule6))]
Anne is not rough.
("Anne" "is" "rough" "-")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not cold.
("Erin" "is" "cold" "-")
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Erin is not cold.
("Erin" "is" "cold" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3