Bob is young. Erin is not smart. Fiona is nice. If something is nice and not kind then it is smart. Nice, young things are smart. All smart, kind things are nice. All smart things are round. All young, smart things are rough. If Fiona is nice and Fiona is not rough then Fiona is round. If something is round and not nice then it is red. If something is kind then it is red.
Bob is young.
("Bob" "is" "young" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is nice and not kind then it is smart.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "+"))
Nice, young things are smart.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
All smart, kind things are nice.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All young, smart things are rough.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If Fiona is nice and Fiona is not rough then Fiona is round.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "round" "+"))
If something is round and not nice then it is red.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "is" "red" "+"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "rough" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is young.[(triple1)] Erin is not smart.[(triple2)] Fiona is nice.[(triple3)]
Bob is young.
("Bob" "is" "young" "+")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3