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