Bob is kind. Dave is red. Erin is kind. Fiona is round. Round things are quiet. All furry things are big. Quiet things are furry.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple4)]
("Fiona" "is" "round" "+")
triple4
Erin is not kind.
False
1
inv-proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple4) -> rule1))]
("Fiona" "is" "quiet" "-")
((triple4) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple4) -> rule1)) -> rule3))]
("Fiona" "is" "furry" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("Fiona" "is" "furry" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "big" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "big" "-")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is big.
Unknown
rconc
[@3: Bob is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "furry" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is kind.[(triple1)] Dave is red.[(triple2)] Erin is kind.[(triple3)] Fiona is round.[(triple4)] @1: Fiona is quiet.[(((triple4) -> rule1))] @2: Fiona is furry.[(((((triple4) -> rule1)) -> rule3))] @3: Fiona is big.[(((((((triple4) -> rule1)) -> rule3)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3