Bob is big. Fiona is young. If Bob is quiet then Bob is kind. Kind things are not nice. Nice things are not smart. If something is young then it is big. If Fiona is big then Fiona is kind. If something is young and not smart then it is furry.
Bob is big.
("Bob" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Bob is quiet then Bob is kind.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "kind" "+"))
Kind things are not nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
Nice things are not smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "-"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Fiona is big then Fiona is kind.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
If something is young and not smart then it is furry.
((("something" "is" "young" "+") ("something" "is" "smart" "~")) -> ("something" "is" "furry" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "young" "-")
triple2
Fiona is big.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "big" "+")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "big" "-")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple2) -> rule4)) -> rule5))]
("Fiona" "is" "kind" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule5))]
("Fiona" "is" "kind" "-")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not nice.
True
4
proof
[(((((((triple2) -> rule4)) -> rule5)) -> rule2))]
("Fiona" "is" "nice" "-")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule5)) -> rule2))]
("Fiona" "is" "nice" "+")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "furry" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is big.[(triple1)] Fiona is young.[(triple2)] @1: Fiona is big.[(((triple2) -> rule4))] @2: Fiona is kind.[(((((triple2) -> rule4)) -> rule5))] @3: Fiona is not nice.[(((((((triple2) -> rule4)) -> rule5)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not nice.
("Fiona" "is" "nice" "-")
((((((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3