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