Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Dave is blue. Dave is cold. Dave is kind. Dave is round. Erin is blue. Erin is cold. Erin is green. Erin is rough. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. If someone is rough and white then they are kind. If someone is kind and blue then they are white. If someone is blue and green then they are kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is rough and white then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Fiona is round.
True
1
proof
[(triple16)]
("Fiona" "is" "round" "+")
triple16
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Erin is kind.
True
3
proof
[(((triple9 triple11) -> rule3))]
("Erin" "is" "kind" "+")
((triple9 triple11) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Charlie is not white.
False
3
inv-proof
[(((triple4 triple1) -> rule2) OR ((((triple1 triple3) -> rule3) triple1) -> rule2))]
("Charlie" "is" "white" "-")
((triple4 triple1) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is white.
True
5
proof
[(((((triple9 triple11) -> rule3) triple9) -> rule2))]
("Erin" "is" "white" "+")
((((triple9 triple11) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not white.
False
5
inv-proof
[(((((triple9 triple11) -> rule3) triple9) -> rule2))]
("Erin" "is" "white" "-")
((((triple9 triple11) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple1 triple3) -> rule3))] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is round.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is rough.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)] @1: Charlie is white.[(((triple4 triple1) -> rule2) OR ((((triple1 triple3) -> rule3) triple1) -> rule2))] Dave is white.[(((triple7 triple5) -> rule2))] Erin is kind.[(((triple9 triple11) -> rule3))] @2: Erin is white.[(((((triple9 triple11) -> rule3) triple9) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
((triple1 triple3) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is round.
("Fiona" "is" "round" "+")
triple16
Charlie is white.
("Charlie" "is" "white" "+")
((triple4 triple1) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1 triple3) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple7 triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple9 triple11) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple9 triple11) -> (rule3 % int2)) triple9) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2