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