Anne is not blue. Anne is white. Bob is rough. Erin is blue. Erin is white. Fiona is red. Fiona is rough. All red, blue people are rough. If Bob is rough then Bob is not white. If Bob is red then Bob is white. All blue, young people are red. Blue people are young. Rough, young people are furry. If Bob is big then Bob is furry. All furry, white people are big. If someone is red and not young then they are big.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All red, blue people are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If Bob is rough then Bob is not white.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "white" "-"))
If Bob is red then Bob is white.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "white" "+"))
All blue, young people are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Blue people are young.
((("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Rough, young people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If Bob is big then Bob is furry.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "furry" "+"))
All furry, white people are big.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is red and not young then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "big" "+"))
Fiona is red.
True
1
proof
[(triple6)]
("Fiona" "is" "red" "+")
triple6
Fiona is not rough.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "rough" "-")
triple7
Erin is young.
True
2
proof
[(((triple4) -> rule5))]
("Erin" "is" "young" "+")
((triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is white.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "white" "+")
((triple3) -> (rule2 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Erin is red.
True
4
proof
[(((triple4 ((triple4) -> rule5)) -> rule4))]
("Erin" "is" "red" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not red.
False
4
inv-proof
[(((triple4 ((triple4) -> rule5)) -> rule4))]
("Erin" "is" "red" "-")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
True
6
proof
[(((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1))]
("Erin" "is" "rough" "+")
((((triple4 ((triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not rough.
False
6
inv-proof
[(((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1))]
("Erin" "is" "rough" "-")
((((triple4 ((triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is furry.
True
9
proof
[(((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6))]
("Erin" "is" "furry" "+")
((((((triple4 ((triple4) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule5 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not furry.
False
9
inv-proof
[(((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6))]
("Erin" "is" "furry" "-")
((((((triple4 ((triple4) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule5 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
True
11
proof
[(((((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6) triple5) -> rule8))]
("Erin" "is" "big" "+")
((((((((triple4 ((triple4) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule5 % int5))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not big.
False
11
inv-proof
[(((((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6) triple5) -> rule8))]
("Erin" "is" "big" "-")
((((((((triple4 ((triple4) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule5 % int5))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "young" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "big" "-")
Anne is furry.
Unknown
rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is big.
Unknown
rconc
[@3: Anne is big.[CWA. Example of deepest failure = (rule8 <- rule6 <- rule1 <- FAIL)]]
("Anne" "is" "big" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is not blue.[(triple1)] Anne is white.[(triple2)] Bob is rough.[(triple3)] Erin is blue.[(triple4)] Erin is white.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] @1: Bob is not white.[(((triple3) -> rule2))] Erin is young.[(((triple4) -> rule5))] @2: Erin is red.[(((triple4 ((triple4) -> rule5)) -> rule4))] @3: Erin is rough.[(((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1))] @4: Erin is furry.[(((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6))] @5: Erin is big.[(((((((((triple4 ((triple4) -> rule5)) -> rule4) triple4) -> rule1) ((triple4) -> rule5)) -> rule6) triple5) -> rule8))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Bob is not white.
("Bob" "is" "white" "-")
((triple3) -> (rule2 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple4 ((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple4 ((triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple4 ((triple4) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule5 % int4))) -> (rule6 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((((((((triple4 ((triple4) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule5 % int5))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5