Dave is young. Erin is quiet. Fiona is big. Gary is rough. All rough people are big. All big people are rough. All quiet people are young. If Fiona is rough then Fiona is furry. All quiet people are young. All rough people are round. Quiet people are furry. If Fiona is round then Fiona is smart.
Dave is young.
("Dave" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If Fiona is rough then Fiona is furry.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "furry" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is round then Fiona is smart.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "smart" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Gary is round.
True
2
proof
[(((triple4) -> rule6))]
("Gary" "is" "round" "+")
((triple4) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple2) -> rule7))]
("Erin" "is" "furry" "-")
((triple2) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Fiona is round.
True
3
proof
[(((((triple3) -> rule2)) -> rule6))]
("Fiona" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("Fiona" "is" "furry" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
True
4
proof
[(((((((triple3) -> rule2)) -> rule6)) -> rule8))]
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not smart.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule6)) -> rule8))]
("Fiona" "is" "smart" "-")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- FAIL)]]
("Erin" "is" "round" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is young.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Gary is rough.[(triple4)] @1: Erin is furry.[(((triple2) -> rule7))] Erin is young.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Fiona is rough.[(((triple3) -> rule2))] Gary is big.[(((triple4) -> rule1))] Gary is round.[(((triple4) -> rule6))] @2: Fiona is furry.[(((((triple3) -> rule2)) -> rule4))] Fiona is round.[(((((triple3) -> rule2)) -> rule6))] @3: Fiona is smart.[(((((((triple3) -> rule2)) -> rule6)) -> rule8))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple4) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple4) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3