Anne is red. Erin is round. Fiona is rough. Harry is not rough. Young people are rough. Rough people are smart. Red people are young.
Anne is red.
("Anne" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Harry is not rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Harry is rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Fiona is smart.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "young" "-")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Anne" "is" "rough" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
("Anne" "is" "smart" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not smart.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
("Anne" "is" "smart" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Erin is smart.
Unknown
rconc
[@3: Erin is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule3 <- FAIL)]]
("Erin" "is" "smart" "+")
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Erin is rough.
Unknown
rconc
[@2: Erin is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Erin" "is" "rough" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Anne is red.[(triple1)] Erin is round.[(triple2)] Fiona is rough.[(triple3)] Harry is not rough.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))] Fiona is smart.[(((triple3) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is not rough.
("Harry" "is" "rough" "-")
triple4
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3