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