Bob is kind. Dave is cold. Erin is white. Fiona is round. All white people are not kind. Round, rough people are kind. If someone is green and not round then they are young. Rough people are not young. Green people are cold. All kind people are green. If Dave is round and Dave is white then Dave is not green. If Fiona is not cold then Fiona is young.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All white people are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
Round, rough people are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and not round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
Rough people are not young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Dave is round and Dave is white then Dave is not green.
((("Dave" "is" "round" "+") ("Dave" "is" "white" "+")) -> ("Dave" "is" "green" "-"))
If Fiona is not cold then Fiona is young.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "-")
triple4
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2)] Erin is white.[(triple3)] Fiona is round.[(triple4)] @1: Bob is green.[(((triple1) -> rule6))] Erin is not kind.[(((triple3) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule6)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2