Charlie is red. Dave is blue. Dave is young. Erin is blue. Erin is kind. Erin is red. Erin is young. Red people are round. All round, young people are nice.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All round, young people are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Erin is red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "+")
triple6
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Charlie is round.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "round" "-")
((triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
True
4
proof
[(((((triple6) -> rule1) triple7) -> rule2))]
("Erin" "is" "nice" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((((triple6) -> rule1) triple7) -> rule2))]
("Erin" "is" "nice" "-")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is red.[(triple1)] Dave is blue.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] @1: Charlie is round.[(((triple1) -> rule1))] Erin is round.[(((triple6) -> rule1))] @2: Erin is nice.[(((((triple6) -> rule1) triple7) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple6) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2