Bob is furry. Charlie is cold. Fiona is not kind. Harry is green. If Bob is furry then Bob is not cold. If Charlie is not furry then Charlie is not red. Kind people are red. All red, cold people are not smart. If Bob is red and Bob is kind then Bob is furry. If someone is furry and not kind then they are young.
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Harry is green.
("Harry" "is" "green" "+")
If Bob is furry then Bob is not cold.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "cold" "-"))
If Charlie is not furry then Charlie is not red.
((("Charlie" "is" "furry" "~")) -> ("Charlie" "is" "red" "-"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All red, cold people are not smart.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If Bob is red and Bob is kind then Bob is furry.
((("Bob" "is" "red" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "furry" "+"))
If someone is furry and not kind then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
Harry is green.
True
1
proof
[(triple4)]
("Harry" "is" "green" "+")
triple4
Fiona is kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Bob is not cold.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is furry.[(triple1)] Charlie is cold.[(triple2)] Fiona is not kind.[(triple3)] Harry is green.[(triple4)] @1: Bob is not cold.[(((triple1) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Bob is not cold.
("Bob" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1