Anne is kind. Anne is nice. Bob is nice. Bob is rough. Bob is round. Fiona is cold. Fiona is rough. Gary is cold. Gary is green. Gary is rough. If someone is green then they are round. Cold, rough people are not nice.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Cold, rough people are not nice.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
Bob is round.
True
1
proof
[(triple5)]
("Bob" "is" "round" "+")
triple5
Gary is not cold.
False
1
inv-proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Gary is round.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "round" "+")
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is nice.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "nice" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Fiona is cold.[(triple6)] Fiona is rough.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)] @1: Fiona is not nice.[(((triple6 triple7) -> rule2))] Gary is not nice.[(((triple8 triple10) -> rule2))] Gary is round.[(((triple9) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple6 triple7) -> (rule2 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((triple8 triple10) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple9) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1