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