Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. Gary is green. Gary is smart. If someone is blue and green then they are white. If someone is smart then they are rough. Cold people are blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is blue and green then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Gary is smart.
True
1
proof
[(triple7)]
("Gary" "is" "smart" "+")
triple7
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Gary is rough.
True
2
proof
[(((triple7) -> rule2))]
("Gary" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Fiona" "is" "white" "-")
((triple1 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is not white.
Unknown
inv-rconc
[@2: Gary is white.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is rough.[(triple4 OR ((triple5) -> rule2))] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is white.[(((triple1 triple2) -> rule1))] Gary is rough.[(((triple7) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
((triple5) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1