Dave is smart. Fiona is kind. Big things are smart. All kind things are big. Smart, big things are quiet. If Fiona is rough then Fiona is furry. If Fiona is kind and Fiona is quiet then Fiona is white. If Fiona is rough and Fiona is white then Fiona is big. If something is rough then it is kind. All white, furry things are big.
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Smart, big things are quiet.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is rough then Fiona is furry.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "furry" "+"))
If Fiona is kind and Fiona is quiet then Fiona is white.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "white" "+"))
If Fiona is rough and Fiona is white then Fiona is big.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "big" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All white, furry things are big.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is big.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "big" "+")
((triple2) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "big" "-")
((triple2) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Dave is not quiet.
Unknown
inv-rconc
[@3: Dave is quiet.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule7 <- FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "furry" "+")
Dave is not big.
Unknown
inv-rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Dave is smart.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is big.[(((triple2) -> rule2))] @2: Fiona is smart.[(((((triple2) -> rule2)) -> rule1))] @3: Fiona is quiet.[(((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule3))] @4: Fiona is white.[(((triple2 ((((((triple2) -> rule2)) -> rule1) ((triple2) -> rule2)) -> rule3)) -> rule5))]
Dave is smart.
("Dave" "is" "smart" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple2 ((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) ((triple2) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4