Anne is cold. Anne is kind. Anne is smart. Anne is not white. Bob is not cold. Bob is furry. Bob is not kind. Bob is red. Bob is smart. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. All red people are nice. If Anne is nice and Anne is not smart then Anne is red. If Anne is nice and Anne is not red then Anne is white. If someone is nice and not white then they are furry. Nice, kind people are cold. If someone is furry and not red then they are not kind. If someone is furry and cold then they are kind. If Anne is not furry then Anne is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If Anne is nice and Anne is not smart then Anne is red.
((("Anne" "is" "nice" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "red" "+"))
If Anne is nice and Anne is not red then Anne is white.
((("Anne" "is" "nice" "+") ("Anne" "is" "red" "~")) -> ("Anne" "is" "white" "+"))
If someone is nice and not white then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
Nice, kind people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and not red then they are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "-"))
If someone is furry and cold then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Anne is not furry then Anne is cold.
((("Anne" "is" "furry" "~")) -> ("Anne" "is" "cold" "+"))
Bob is not kind.
True
1
proof
[(triple7)]
("Bob" "is" "kind" "-")
triple7
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Bob is nice.
True
2
proof
[(((triple8) -> rule1))]
("Bob" "is" "nice" "+")
((triple8) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple8) -> rule1))]
("Bob" "is" "nice" "-")
((triple8) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is nice.
Unknown
rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "nice" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Bob is furry.[(triple6)] Bob is not cold.[(triple5)] Bob is not kind.[(triple7)] Bob is red.[(triple8)] Bob is smart.[(triple9)] Fiona is cold.[(triple10 OR ((triple13 triple12) -> rule5) OR ((((triple14) -> rule1) triple12) -> rule5))] Fiona is furry.[(triple11)] Fiona is kind.[(triple12 OR ((triple11 triple10) -> rule7))] Fiona is nice.[(triple13 OR ((triple14) -> rule1))] Fiona is red.[(triple14)] Fiona is smart.[(triple15)] @1: Bob is nice.[(((triple8) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is not cold.
("Bob" "is" "cold" "-")
triple5
Bob is not kind.
("Bob" "is" "kind" "-")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple8
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple13 triple12) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple14) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
((triple11 triple10) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
((triple14) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Bob is nice.
("Bob" "is" "nice" "+")
((triple8) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1