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