Bob is nice. Charlie is nice. Fiona is rough. Gary is rough. If Bob is green then Bob is nice. If Gary is rough then Gary is young. If Bob is rough then Bob is young. If Bob is green then Bob is white. If someone is rough and cold then they are not blue. If someone is green and not young then they are blue. If someone is blue and cold then they are nice. Blue people are cold.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Bob is green then Bob is nice.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "nice" "+"))
If Gary is rough then Gary is young.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "young" "+"))
If Bob is rough then Bob is young.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "young" "+"))
If Bob is green then Bob is white.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "white" "+"))
If someone is rough and cold then they are not blue.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "-"))
If someone is green and not young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Gary is young.
True
2
proof
[(((triple4) -> rule2))]
("Gary" "is" "young" "+")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Gary" "is" "young" "-")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)] @1: Gary is young.[(((triple4) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1