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