Charlie is not kind. Charlie is not nice. Charlie is round. Charlie is white. Erin is cold. Erin is nice. Erin is white. Fiona is not cold. Fiona is kind. Fiona is not quiet. Harry is kind. Harry is quiet. If someone is round then they are quiet. All round, kind people are quiet. All quiet, cold people are round. If someone is smart and not kind then they are not white. If someone is nice and not kind then they are smart. If Erin is not quiet then Erin is not nice. If someone is smart then they are not nice. All kind people are not nice.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All round, kind people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, cold people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and not kind then they are not white.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "white" "-"))
If someone is nice and not kind then they are smart.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "smart" "+"))
If Erin is not quiet then Erin is not nice.
((("Erin" "is" "quiet" "~")) -> ("Erin" "is" "nice" "-"))
If someone is smart then they are not nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
All kind people are not nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "-"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Charlie is not white.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "white" "-")
triple4
Fiona is not nice.
True
2
proof
[(((triple9) -> rule8))]
("Fiona" "is" "nice" "-")
((triple9) -> (rule8 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is nice.
False
2
inv-proof
[(((triple9) -> rule8))]
("Fiona" "is" "nice" "+")
((triple9) -> (rule8 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "smart" "-")
Erin is quiet.
Unknown
rconc
[@3: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Erin" "is" "quiet" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is not kind.[(triple1)] Charlie is not nice.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Erin is white.[(triple7)] Fiona is kind.[(triple9)] Fiona is not cold.[(triple8)] Fiona is not quiet.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] @1: Charlie is quiet.[(((triple3) -> rule1))] Fiona is not nice.[(((triple9) -> rule8))] Harry is not nice.[(((triple11) -> rule8))]
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple8
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple9) -> (rule8 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Harry is not nice.
("Harry" "is" "nice" "-")
((triple11) -> (rule8 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1