Fiona is big. Fiona is furry. Fiona is kind. Fiona is smart. Fiona is young. Gary is big. Gary is white. All kind things are young. All kind things are blue. All smart things are white.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is white.
("Gary" "is" "white" "+")
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Gary is not big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "-")
triple6
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
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 furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is smart.[(triple4)] Fiona is young.[(triple5 OR ((triple3) -> rule1))] Gary is big.[(triple6)] Gary is white.[(triple7)] @1: Fiona is blue.[(((triple3) -> rule2))] Fiona is white.[(((triple4) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple4) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1