Erin is kind. Fiona is rough. All green, smart things are rough. All round things are young. Rough things are green. Smart, rough things are kind. All green things are round. Kind things are rough.
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All green, smart things are rough.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Smart, rough things are kind.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Fiona is rough.
True
1
proof
[(triple2)]
("Fiona" "is" "rough" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Erin is rough.
True
2
proof
[(((triple1) -> rule6))]
("Erin" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("Erin" "is" "rough" "-")
((triple1) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("Erin" "is" "green" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Erin" "is" "green" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is young.
True
4
proof
[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]
("Fiona" "is" "young" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not young.
False
4
inv-proof
[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]
("Fiona" "is" "young" "-")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is kind.[(triple1)] Fiona is rough.[(triple2)] @1: Erin is rough.[(((triple1) -> rule6))] Fiona is green.[(((triple2) -> rule3))] @2: Erin is green.[(((((triple1) -> rule6)) -> rule3))] Fiona is round.[(((((triple2) -> rule3)) -> rule5))] @3: Erin is round.[(((((((triple1) -> rule6)) -> rule3)) -> rule5))] Fiona is young.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))] @4: Erin is young.[(((((((((triple1) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4