Fiona is big. Fiona is not green. Fiona is kind. Fiona is not nice. Fiona is rough. Fiona is not smart. Fiona is young. Harry is big. Harry is kind. Harry is not nice. Harry is rough. Harry is young. If someone is nice and not rough then they are smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is nice and not rough then they are smart.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "+"))
Fiona is not nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "-")
triple4
Fiona is nice.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple3)] Fiona is not green.[(triple2)] Fiona is not nice.[(triple4)] Fiona is not smart.[(triple6)] Fiona is rough.[(triple5)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is not nice.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is not nice.
("Harry" "is" "nice" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12