Dave is big. Dave is white. Erin is kind. Fiona is big. Fiona is not quiet. Harry is furry. Harry is white. All quiet people are furry. Big, white people are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Big, white people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "-")
triple4
Dave is quiet.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Dave" "is" "quiet" "+")
((triple1 triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Dave" "is" "quiet" "-")
((triple1 triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
True
4
proof
[(((((triple1 triple2) -> rule2)) -> rule1))]
("Dave" "is" "furry" "+")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not furry.
False
4
inv-proof
[(((((triple1 triple2) -> rule2)) -> rule1))]
("Dave" "is" "furry" "-")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "+")
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is white.[(triple2)] Erin is kind.[(triple3)] Fiona is big.[(triple4)] Fiona is not quiet.[(triple5)] Harry is furry.[(triple6)] Harry is white.[(triple7)] @1: Dave is quiet.[(((triple1 triple2) -> rule2))] @2: Dave is furry.[(((((triple1 triple2) -> rule2)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple1 triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2