Anne is green. Anne is nice. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. Gary is cold. Gary is green. Gary is kind. Gary is young. All kind, smart people are nice. If Gary is white then Gary is green. Kind, smart people are nice. Nice, kind people are white. All kind, white people are young. All white people are nice. If someone is kind then they are nice. Young people are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind, smart people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Gary is white then Gary is green.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "green" "+"))
Kind, smart people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Nice, kind people are white.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All kind, white people are young.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Fiona is not young.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "young" "-")
triple6
Fiona is green.
True
2
proof
[(((triple6) -> rule8))]
("Fiona" "is" "green" "+")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple6) -> rule8))]
("Fiona" "is" "green" "-")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is white.
True
4
proof
[(((((triple9) -> rule7) triple9) -> rule4))]
("Gary" "is" "white" "+")
((((triple9) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not white.
False
4
inv-proof
[(((((triple9) -> rule7) triple9) -> rule4))]
("Gary" "is" "white" "-")
((((triple9) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "young" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Fiona is nice.[(triple3 OR ((triple5) -> rule6))] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Fiona is young.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8 OR ((triple10) -> rule8) OR ((((((triple9) -> rule7) triple9) -> rule4)) -> rule2) OR ((((triple9 ((((triple9) -> rule7) triple9) -> rule4)) -> rule5)) -> rule8))] Gary is kind.[(triple9)] Gary is young.[(triple10 OR ((triple9 ((((triple9) -> rule7) triple9) -> rule4)) -> rule5))] @1: Fiona is green.[(((triple6) -> rule8))] Gary is nice.[(((triple9) -> rule7))] @2: Gary is white.[(((((triple9) -> rule7) triple9) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
((triple5) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple10) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((((triple9) -> (rule7 % int3)) triple9) -> (rule4 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple9 ((((triple9) -> (rule7 % int4)) triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple9 ((((triple9) -> (rule7 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((triple6) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((((triple9) -> (rule7 % int2)) triple9) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2