Anne is red. Anne is rough. Anne is smart. Dave is round. Dave is white. Fiona is smart. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is round. Gary is smart. Rough, white people are red. All round, red people are nice. If someone is red and smart then they are white. If Dave is white then Dave is red. All blue people are smart. If Anne is white then Anne is nice.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Rough, white people are red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
All round, red people are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and smart then they are white.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Dave is white then Dave is red.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "red" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Anne is white then Anne is nice.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "nice" "+"))
Fiona is smart.
True
1
proof
[(triple6)]
("Fiona" "is" "smart" "+")
triple6
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
Anne is white.
True
3
proof
[(((triple1 triple3) -> rule3))]
("Anne" "is" "white" "+")
((triple1 triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple11 triple9) -> rule2))]
("Gary" "is" "nice" "-")
((triple11 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "smart" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((triple8) -> rule5))] @1: Anne is white.[(((triple1 triple3) -> rule3))] Dave is red.[(((triple5) -> rule4))] Gary is nice.[(((triple11 triple9) -> rule2))] Gary is white.[(((triple9 triple12) -> rule3) OR ((triple9 ((triple8) -> rule5)) -> rule3))] @2: Anne is nice.[(((((triple1 triple3) -> rule3)) -> rule6))] Dave is nice.[(((triple4 ((triple5) -> rule4)) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
((triple8) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1 triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple5) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple9 triple12) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple9 ((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 ((triple5) -> (rule4 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2