Anne is not big. Anne is cold. Anne is not furry. Dave is cold. Dave is smart. Erin is blue. Erin is furry. Fiona is big. Fiona is blue. Fiona is cold. Fiona is not furry. Fiona is kind. Smart, rough people are not big. If Anne is smart then Anne is big. If someone is blue and not furry then they are cold. If Dave is blue then Dave is not cold. If Fiona is rough and Fiona is cold then Fiona is blue. Rough, cold people are not kind. Furry, blue people are kind. Cold, blue people are smart.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Smart, rough people are not big.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
If Anne is smart then Anne is big.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "big" "+"))
If someone is blue and not furry then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "cold" "+"))
If Dave is blue then Dave is not cold.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "cold" "-"))
If Fiona is rough and Fiona is cold then Fiona is blue.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
Rough, cold people are not kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
Furry, blue people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Cold, blue people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Fiona is not kind.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "kind" "-")
triple12
Erin is kind.
True
3
proof
[(((triple7 triple6) -> rule7))]
("Erin" "is" "kind" "+")
((triple7 triple6) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
3
inv-proof
[(((triple7 triple6) -> rule7))]
("Erin" "is" "kind" "-")
((triple7 triple6) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not smart.
Unknown
inv-rconc
[@2: Erin is smart.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Erin" "is" "smart" "-")
Anne is kind.
Unknown
rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "kind" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is not furry.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple9 triple11) -> rule3))] Fiona is kind.[(triple12)] Fiona is not furry.[(triple11)] @1: Erin is kind.[(((triple7 triple6) -> rule7))] Fiona is smart.[(((triple10 triple9) -> rule8) OR ((((triple9 triple11) -> rule3) triple9) -> rule8))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple9 triple11) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
((triple7 triple6) -> (rule7 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple10 triple9) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9 triple11) -> (rule3 % int2)) triple9) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2