Anne is big. Anne is not furry. Anne is green. Anne is nice. Bob is cold. Bob is furry. Fiona is smart. Gary is cold. Gary is furry. Gary is green. If Fiona is big then Fiona is cold. If someone is furry and not big then they are not smart. If someone is smart then they are green. If someone is cold and not furry then they are green. If someone is cold and not green then they are not nice. All green, smart people are nice. If someone is nice then they are kind. If someone is cold and not smart then they are not kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
If Fiona is big then Fiona is cold.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "cold" "+"))
If someone is furry and not big then they are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "smart" "-"))
If someone is smart then they are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not furry then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "green" "+"))
If someone is cold and not green then they are not nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "-"))
All green, smart people are nice.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and not smart then they are not kind.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "kind" "-"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Anne is kind.
True
2
proof
[(((triple4) -> rule7))]
("Anne" "is" "kind" "+")
((triple4) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple7) -> rule3))]
("Fiona" "is" "green" "-")
((triple7) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
True
4
proof
[(((((triple7) -> rule3) triple7) -> rule6))]
("Fiona" "is" "nice" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((((triple7) -> rule3) triple7) -> rule6))]
("Fiona" "is" "nice" "-")
((((triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
True
5
proof
[(((((((triple7) -> rule3) triple7) -> rule6)) -> rule7))]
("Fiona" "is" "kind" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not kind.
False
5
inv-proof
[(((((((triple7) -> rule3) triple7) -> rule6)) -> rule7))]
("Fiona" "is" "kind" "-")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Gary" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] @1: Anne is kind.[(((triple4) -> rule7))] Fiona is green.[(((triple7) -> rule3))] @2: Fiona is nice.[(((((triple7) -> rule3) triple7) -> rule6))] @3: Fiona is kind.[(((((((triple7) -> rule3) triple7) -> rule6)) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Anne is kind.
("Anne" "is" "kind" "+")
((triple4) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple7) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple7) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple7) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3