Fiona is big. Fiona is nice. Gary is smart. If someone is kind then they are furry. All round, nice people are kind. Round people are smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is kind then they are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All round, nice people are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple2)] Gary is smart.[(triple3)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3