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