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