Bob is cold. Fiona is round. If someone is green and not rough then they are young. If someone is young then they are cold. If someone is cold then they are not green.
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is green and not rough then they are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "young" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are not green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "-"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "-")
triple2
Bob is not green.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "green" "-")
((triple1) -> (rule3 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is green.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "green" "+")
((triple1) -> (rule3 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Fiona is not cold.
Unknown
inv-rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is cold.[(triple1)] Fiona is round.[(triple2)] @1: Bob is not green.[(((triple1) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Bob is not green.
("Bob" "is" "green" "-")
((triple1) -> (rule3 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1