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