Anne is not blue. Anne is furry. Bob is furry. Bob is green. Bob is rough. Bob is smart. Erin is cold. Erin is green. Fiona is not furry. Fiona is smart. If something is rough then it is smart. Blue, white things are not furry. If something is blue then it is not furry. If Anne is rough then Anne is not white. Cold things are blue. If Fiona is white and Fiona is cold then Fiona is blue. All blue, white things are green. If something is cold and not white then it is green.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Blue, white things are not furry.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
If something is blue then it is not furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "-"))
If Anne is rough then Anne is not white.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "white" "-"))
Cold things are blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Fiona is white and Fiona is cold then Fiona is blue.
((("Fiona" "is" "white" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
All blue, white things are green.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is cold and not white then it is green.
((("something" "is" "cold" "+") ("something" "is" "white" "~")) -> ("something" "is" "green" "+"))
Fiona is smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "+")
triple10
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Erin is blue.
True
2
proof
[(((triple7) -> rule5))]
("Erin" "is" "blue" "+")
((triple7) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple7) -> rule5))]
("Erin" "is" "blue" "-")
((triple7) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not furry.
True
3
proof
[(((((triple7) -> rule5)) -> rule3))]
("Erin" "is" "furry" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule3))]
("Erin" "is" "furry" "+")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "green" "+")
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple5) -> rule1))] Erin is cold.[(triple7)] Erin is green.[(triple8)] Fiona is not furry.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is blue.[(((triple7) -> rule5))] @2: Erin is not furry.[(((((triple7) -> rule5)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple5) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Erin is blue.
("Erin" "is" "blue" "+")
((triple7) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
((((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2