Bob is cold. Fiona is not round. Gary is young. If someone is green then they are not nice. Young people are green. All green, white people are not cold.
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is young.
("Gary" "is" "young" "+")
If someone is green then they are not nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "-"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All green, white people are not cold.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Fiona is round.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "round" "+")
triple2
Gary is green.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "green" "+")
((triple3) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "green" "-")
((triple3) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not nice.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "nice" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "nice" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is cold.[(triple1)] Fiona is not round.[(triple2)] Gary is young.[(triple3)] @1: Gary is green.[(((triple3) -> rule2))] @2: Gary is not nice.[(((((triple3) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fiona is not round.
("Fiona" "is" "round" "-")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
((triple3) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is green.
("Gary" "is" "green" "+")
int2