Erin is cold. Fiona is cold. All cold, big people are round. Young, big people are not round. All cold people are white. White people are big. If someone is smart and not round then they are red. If someone is smart then they are red.
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
All cold, big people are round.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Young, big people are not round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is smart and not round then they are red.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "red" "+"))
If someone is smart then they are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Erin is not cold.
False
1
inv-proof
[(triple1)]
("Erin" "is" "cold" "-")
triple1
Erin is white.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "white" "+")
((triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "white" "-")
((triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is big.
True
3
proof
[(((((triple1) -> rule3)) -> rule4))]
("Erin" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not big.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule4))]
("Erin" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Erin is cold.[(triple1)] Fiona is cold.[(triple2)] @1: Erin is white.[(((triple1) -> rule3))] Fiona is white.[(((triple2) -> rule3))] @2: Erin is big.[(((((triple1) -> rule3)) -> rule4))] Fiona is big.[(((((triple2) -> rule3)) -> rule4))] @3: Erin is round.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule1))] Fiona is round.[(((triple2 ((((triple2) -> rule3)) -> rule4)) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
((triple1) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3