Dave is green. Dave is red. Dave is rough. Erin is green. Erin is kind. Erin is red. Erin is rough. Fiona is cold. Fiona is kind. Fiona is red. Gary is not green. Gary is kind. Gary is nice. Gary is red. Gary is rough. If something is green and not rough then it is white. Rough things are white. If something is rough and not cold then it is white. White things are kind. All green, red things are not nice. All cold things are red. All cold things are not green. If Erin is nice and Erin is not white then Erin is kind.
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is green and not rough then it is white.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "white" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is rough and not cold then it is white.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "white" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All green, red things are not nice.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All cold things are not green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
If Erin is nice and Erin is not white then Erin is kind.
((("Erin" "is" "nice" "+") ("Erin" "is" "white" "~")) -> ("Erin" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple6)]
("Erin" "is" "red" "-")
triple6
Erin is white.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "white" "+")
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
False
3
inv-proof
[(((triple4 triple6) -> rule5))]
("Erin" "is" "nice" "+")
((triple4 triple6) -> (rule5 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Dave is kind.
True
3
proof
[(((((triple3) -> rule2)) -> rule4))]
("Dave" "is" "kind" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not kind.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule4))]
("Dave" "is" "kind" "-")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5 OR ((((triple7) -> rule2)) -> rule4))] Erin is red.[(triple6)] Erin is rough.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10 OR ((triple8) -> rule6))] Gary is kind.[(triple12 OR ((((triple15) -> rule2)) -> rule4))] Gary is nice.[(triple13)] Gary is not green.[(triple11)] Gary is red.[(triple14)] Gary is rough.[(triple15)] @1: Dave is not nice.[(((triple1 triple2) -> rule5))] Dave is white.[(((triple3) -> rule2))] Erin is not nice.[(((triple4 triple6) -> rule5))] Erin is white.[(((triple7) -> rule2))] Fiona is not green.[(((triple8) -> rule7))] Gary is white.[(((triple15) -> rule2))] @2: Dave is kind.[(((((triple3) -> rule2)) -> rule4))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
((triple8) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple12
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is not green.
("Gary" "is" "green" "-")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Dave is not nice.
("Dave" "is" "nice" "-")
((triple1 triple2) -> (rule5 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
((triple4 triple6) -> (rule5 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple7) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple8) -> (rule7 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple15) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2