Anne is blue. Anne is round. Erin is not blue. Erin is cold. Erin is rough. Erin is not round. Harry is blue. Rough, round things are young. If something is blue then it is rough. If something is young then it is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Rough, round things are young.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Erin is blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Harry is rough.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
True
4
proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("Anne" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not young.
False
4
inv-proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("Anne" "is" "young" "-")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
True
5
proof
[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]
("Anne" "is" "smart" "+")
((((((triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not smart.
False
5
inv-proof
[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]
("Anne" "is" "smart" "-")
((((((triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Harry is not smart.
Unknown
inv-rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Erin is cold.[(triple4)] Erin is not blue.[(triple3)] Erin is not round.[(triple6)] Erin is rough.[(triple5)] Harry is blue.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Harry is rough.[(((triple7) -> rule2))] @2: Anne is young.[(((((triple1) -> rule2) triple2) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule2) triple2) -> rule1)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Erin is not round.
("Erin" "is" "round" "-")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple1) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3