Anne is cold. Dave is big. Erin is green. Gary is green. Green, cold people are kind. Cold, big people are round. All round, big people are young. Kind people are big. Young people are kind. Kind people are cold. All green people are young. If someone is cold and kind then they are green.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Green, cold people are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Cold, big people are round.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All round, big people are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple4)]
("Gary" "is" "green" "+")
triple4
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Gary is young.
True
2
proof
[(((triple4) -> rule7))]
("Gary" "is" "young" "+")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple4) -> rule7))]
("Gary" "is" "young" "-")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is kind.
True
3
proof
[(((((triple3) -> rule7)) -> rule5))]
("Erin" "is" "kind" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not kind.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule5))]
("Erin" "is" "kind" "-")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@5: Anne is kind.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule5 <- rule3 <- rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@5: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule5 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Anne is not green.
Unknown
inv-rconc
[@5: Anne is green.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule3 <- rule4 <- rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Gary is green.[(triple4)] @1: Erin is young.[(((triple3) -> rule7))] Gary is young.[(((triple4) -> rule7))] @2: Erin is kind.[(((((triple3) -> rule7)) -> rule5))] Gary is kind.[(((((triple4) -> rule7)) -> rule5))] @3: Erin is big.[(((((((triple3) -> rule7)) -> rule5)) -> rule4))] Erin is cold.[(((((((triple3) -> rule7)) -> rule5)) -> rule6))] Gary is big.[(((((((triple4) -> rule7)) -> rule5)) -> rule4))] Gary is cold.[(((((((triple4) -> rule7)) -> rule5)) -> rule6))] @4: Erin is round.[(((((((((triple3) -> rule7)) -> rule5)) -> rule6) ((((((triple3) -> rule7)) -> rule5)) -> rule4)) -> rule2))] Gary is round.[(((((((((triple4) -> rule7)) -> rule5)) -> rule6) ((((((triple4) -> rule7)) -> rule5)) -> rule4)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((((triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((((((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5