Dave is not big. Dave is kind. Dave is rough. Erin is big. Erin is kind. Erin is round. Erin is white. Harry is not kind. Harry is red. Harry is rough. If someone is round then they are green. If someone is green then they are red. If Erin is rough then Erin is not white.
Dave is not big.
("Dave" "is" "big" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If Erin is rough then Erin is not white.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "white" "-"))
Erin is kind.
True
1
proof
[(triple5)]
("Erin" "is" "kind" "+")
triple5
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Erin is green.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "-")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("Erin" "is" "red" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not red.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("Erin" "is" "red" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Dave is kind.[(triple2)] Dave is not big.[(triple1)] Dave is rough.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Harry is not kind.[(triple8)] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Erin is green.[(((triple6) -> rule1))] @2: Erin is red.[(((((triple6) -> rule1)) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2