Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is young. Fiona is furry. Fiona is white. White, furry people are smart. If Fiona is quiet then Fiona is young. If Fiona is furry and Fiona is smart then Fiona is quiet.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is white.
("Fiona" "is" "white" "+")
White, furry people are smart.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is quiet then Fiona is young.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "young" "+"))
If Fiona is furry and Fiona is smart then Fiona is quiet.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
Dave is furry.
True
1
proof
[(triple1)]
("Dave" "is" "furry" "+")
triple1
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Fiona is smart.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Fiona" "is" "smart" "+")
((triple10 triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Fiona" "is" "smart" "-")
((triple10 triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
True
5
proof
[(((triple9 ((triple10 triple9) -> rule1)) -> rule3))]
("Fiona" "is" "quiet" "+")
((triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not quiet.
False
5
inv-proof
[(((triple9 ((triple10 triple9) -> rule1)) -> rule3))]
("Fiona" "is" "quiet" "-")
((triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
True
6
proof
[(((((triple9 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "young" "+")
((((triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not young.
False
6
inv-proof
[(((((triple9 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "young" "-")
((((triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple6 triple1) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is smart.[(((triple10 triple9) -> rule1))] @2: Fiona is quiet.[(((triple9 ((triple10 triple9) -> rule1)) -> rule3))] @3: Fiona is young.[(((((triple9 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((triple6 triple1) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple10 triple9) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple9 ((triple10 triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3