Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is not smart. Dave is not green. Dave is rough. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Smart things are round. If something is kind and not rough then it is smart.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is kind and not rough then it is smart.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Anne is smart.
False
1
inv-proof
[(triple6)]
("Anne" "is" "smart" "+")
triple6
Fiona is round.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "round" "+")
((triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple12) -> rule1))]
("Fiona" "is" "round" "-")
((triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is not smart.[(triple6)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is not green.[(triple7)] Dave is rough.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is round.[(((triple12) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
((triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1