Bob is furry. Bob is young. Fiona is red. All big, kind people are green. If someone is green then they are kind. Big, kind people are young. All red people are green. If someone is green then they are rough. All kind people are big.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All big, kind people are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Big, kind people are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "red" "-")
triple3
Fiona is green.
True
2
proof
[(((triple3) -> rule4))]
("Fiona" "is" "green" "+")
((triple3) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple3) -> rule4))]
("Fiona" "is" "green" "-")
((triple3) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple3) -> rule4)) -> rule2))]
("Fiona" "is" "kind" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule5))]
("Fiona" "is" "rough" "-")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple3) -> rule4)) -> rule2)) -> rule6))]
("Fiona" "is" "big" "+")
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple3) -> rule4)) -> rule2)) -> rule6))]
("Fiona" "is" "big" "-")
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is big.
Unknown
rconc
[@3: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is rough.
Unknown
rconc
[@4: Bob is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule2 <- rule4 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Bob is young.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is green.[(((triple3) -> rule4))] @2: Fiona is kind.[(((((triple3) -> rule4)) -> rule2))] Fiona is rough.[(((((triple3) -> rule4)) -> rule5))] @3: Fiona is big.[(((((((triple3) -> rule4)) -> rule2)) -> rule6))] @4: Fiona is young.[(((((((((triple3) -> rule4)) -> rule2)) -> rule6) ((((triple3) -> rule4)) -> rule2)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple3) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((((((((triple3) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4