Dave is round. Dave is white. Erin is not blue. Erin is rough. Erin is not round. Erin is white. Fiona is not round. If someone is furry and not round then they are not smart. Furry people are smart. If Fiona is not green then Fiona is not blue. If someone is smart and round then they are not blue. If Dave is round and Dave is blue then Dave is green. Blue, smart people are not furry. Round people are furry. If Fiona is green then Fiona is furry.
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
If someone is furry and not round then they are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "smart" "-"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is not green then Fiona is not blue.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "blue" "-"))
If someone is smart and round then they are not blue.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "-"))
If Dave is round and Dave is blue then Dave is green.
((("Dave" "is" "round" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "green" "+"))
Blue, smart people are not furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
Round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is green then Fiona is furry.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
Dave is round.
True
1
proof
[(triple1)]
("Dave" "is" "round" "+")
triple1
Erin is blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Dave is furry.
True
2
proof
[(((triple1) -> rule7))]
("Dave" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
2
inv-proof
[(((triple1) -> rule7))]
("Dave" "is" "furry" "-")
((triple1) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
True
3
proof
[(((((triple1) -> rule7)) -> rule2))]
("Dave" "is" "smart" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not smart.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule2))]
("Dave" "is" "smart" "-")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not blue.
True
5
proof
[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule4))]
("Dave" "is" "blue" "-")
((((((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is blue.
False
5
inv-proof
[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule4))]
("Dave" "is" "blue" "+")
((((((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "furry" "+")
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Erin is not blue.[(triple3)] Erin is not round.[(triple5)] Erin is rough.[(triple4)] Erin is white.[(triple6)] Fiona is not round.[(triple7)] @1: Dave is furry.[(((triple1) -> rule7))] @2: Dave is smart.[(((((triple1) -> rule7)) -> rule2))] @3: Dave is not blue.[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule4))]
Dave is round.
("Dave" "is" "round" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Erin is not blue.
("Erin" "is" "blue" "-")
triple3
Erin is not round.
("Erin" "is" "round" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is not round.
("Fiona" "is" "round" "-")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not blue.
("Dave" "is" "blue" "-")
((((((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple1) -> (rule4 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3