Dave is blue. Dave is rough. Dave is young. Erin is furry. Erin is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is young. Gary is rough. All rough people are blue. Young people are round. If someone is round then they are furry.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Fiona is not big.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Dave is round.
True
2
proof
[(((triple3) -> rule2))]
("Dave" "is" "round" "+")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "blue" "-")
((triple12) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is furry.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("Dave" "is" "furry" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Dave is blue.[(triple1 OR ((triple2) -> rule1))] Dave is rough.[(triple2)] Dave is young.[(triple3)] Erin is furry.[(triple4)] Erin is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7 OR ((triple10) -> rule1))] Fiona is furry.[(triple8 OR ((((triple11) -> rule2)) -> rule3))] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is young.[(triple11)] Gary is rough.[(triple12)] @1: Dave is round.[(((triple3) -> rule2))] Erin is blue.[(((triple5) -> rule1))] Fiona is round.[(((triple11) -> rule2))] Gary is blue.[(((triple12) -> rule1))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple10) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple11) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2