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