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