Erin is rough. Erin is smart. Erin is white. Fiona is green. Fiona is smart. Gary is quiet. Harry is cold. All cold, white people are green. Green people are blue. If someone is rough then they are cold.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All cold, white people are green.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Gary is quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple7)]
("Harry" "is" "cold" "-")
triple7
Erin is cold.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "blue" "-")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is green.
True
4
proof
[(((((triple1) -> rule3) triple3) -> rule1))]
("Erin" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not green.
False
4
inv-proof
[(((((triple1) -> rule3) triple3) -> rule1))]
("Erin" "is" "green" "-")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is blue.
True
5
proof
[(((((((triple1) -> rule3) triple3) -> rule1)) -> rule2))]
("Erin" "is" "blue" "+")
((((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is not blue.
False
5
inv-proof
[(((((((triple1) -> rule3) triple3) -> rule1)) -> rule2))]
("Erin" "is" "blue" "-")
((((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "cold" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Erin is rough.[(triple1)] Erin is smart.[(triple2)] Erin is white.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is quiet.[(triple6)] Harry is cold.[(triple7)] @1: Erin is cold.[(((triple1) -> rule3))] Fiona is blue.[(((triple4) -> rule2))] @2: Erin is green.[(((((triple1) -> rule3) triple3) -> rule1))] @3: Erin is blue.[(((((((triple1) -> rule3) triple3) -> rule1)) -> rule2))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple1) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3